indexing description: "Objects that represent a new show project settings command." author: "" date: "$Date$" revision: "$Revision$" class GB_SHOW_PROJECT_SETTINGS_COMMAND inherit EB_STANDARD_CMD redefine make, execute, executable end GB_SHARED_COMMAND_HANDLER GB_SHARED_XML_HANDLER GB_SHARED_SYSTEM_STATUS GB_SHARED_TOOLS create make feature {NONE} -- Initialization make is -- Create `Current'. do Precursor {EB_STANDARD_CMD} set_tooltip ("Settings...") set_pixmaps (<<(create {GB_SHARED_PIXMAPS}).icon_system_window>>) set_name ("Settings...") set_menu_name ("Settings...") end feature -- Access executable: BOOLEAN is -- May `execute' be called on `Current'? do -- Only may be executed if the project settings window is -- not displayed. There must also be a project open. Result := system_status.project_open and then (not project_settings_window.is_show_requested) end feature -- Basic operations execute is -- Execute `Current'. do -- Disable all other floating windows. all_floating_tools.do_all (agent {EV_DIALOG}.disable_sensitive) -- We must modify the icon displayed in `project_settings_window' dependent on -- whether other tools are all displayed if system_status.tools_always_on_top then project_settings_window.set_icon_pixmap ((create {GB_SHARED_PIXMAPS}).Icon_build_window @ 1) else project_settings_window.set_icon_pixmap ((create {GB_SHARED_PIXMAPS}).icon_system_window) end project_settings_window.show_modal_to_window (main_window) all_floating_tools.do_all (agent {EV_DIALOG}.enable_sensitive) -- Enable all other floating windows. command_handler.update end end -- class GB_SHOW_PROJECT_SETTINGS_COMMAND