Changes between Version 15 and Version 16 of HALOS_REDESIGN_R0
- Timestamp:
- 07/29/09 18:44:14 (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
HALOS_REDESIGN_R0
v15 v16 75 75 * Create a property {{{RwProp<HudDialog> activeHud}}} in {{{HaloMenu}}} that represents currently open hud dialog. 76 76 * Its value is null, when no hud is open. 77 * Refactor the {{{HudDialog.shown}}} property: 78 * Make it an auto property. 79 * It should return true if (and only if) the hud dialog is set as current. ////// 80 * Instead of using {{{shown().set(true)}}}, set the desired hud as active. ///////subHud??? extensionHud? 81 * Instead of using {{{shown().set(false)}}}, set the {{{activeHud}}} to be null. ////////// 77 * Add a resource property that sets the {{{shown}}} property in all huds that are related to {{{HudHaloButtons}}} in this menu: 78 * {{{shown}}} should be true if and only if {{{activeHud}}} points to that hud. 82 79 83 80 * '''Make extensible huds:''' 84 81 * Extensions should be defined as different huds, whose {{{JPanel}}}s are attached to the parent hud. 85 82 * Make a property {{{@Own Prop<HudDialog> extensionHud}}} in {{{HudDialog}}}, analogical to {{{HudHaloButton.hud}}}. 86 * Make a value property {{{RwProp<Boolean> extensionVisible}}} in {{{HudDialog}}}. 87 * Add a resource property {{{extensionShowButton}}} that sets {{{extensionVisible}}} to be true. 88 * Add a resource property {{{extensionHideButton}}} that sets {{{extensionVisible}}} in the parent hud to be false. 83 * Add a resource property {{{extensionShowButton}}} that defines a button that sets {{{shown}}} of the extension hud to be true. 84 * Add a resource property {{{extensionHideButton}}} that defines a button that sets {{{shown}}} in this (not the extension) hud to be false. 89 85 * Add a resource property {{{extensionShowHidePanel}}}: 90 * If {{{extensionHud}}} is not null and {{{extensionVisible}}} is false, add the show button.91 * If this hud is an extension hud and the parent's {{{extensionVisible}}} is true, add the hide button.86 * If {{{extensionHud}}} is not null and the extension hud is not shown, add the Show button. 87 * If this hud is an extension hud and {{{shown}}} is true, add the Hide button. 92 88 * In {{{HudDialog.swingComponent}}}, {{{setupElements}}}, add the {{{extensionShowHidePanel}}}. 93 89