/[eiffelstudio]/branches/eth/eve/Src/Eiffel/interface/graphical/tools/code_analysis/es_code_analysis_tool_panel.e
ViewVC logotype

Diff of /branches/eth/eve/Src/Eiffel/interface/graphical/tools/code_analysis/es_code_analysis_tool_panel.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 93474 by zurfluhs, Tue Nov 19 20:13:42 2013 UTC revision 93475 by zurfluhs, Wed Nov 20 16:09:46 2013 UTC
# Line 164  feature {NONE} -- Initialization Line 164  feature {NONE} -- Initialization
164                          l_popup_button.set_tooltip ("Code analysis options")                          l_popup_button.set_tooltip ("Code analysis options")
165  --                      l_popup_button.set_menu_function (agent build_options_menu)  --                      l_popup_button.set_menu_function (agent build_options_menu)
166    
167                            show_preferences_button := (create {ES_CA_SHOW_PREFERENCES_COMMAND}.make).new_sd_toolbar_item (True)
168    
169                          create Result.make (4)                          create Result.make (4)
170                            Result.extend (show_preferences_button)
171                            Result.extend (create {SD_TOOL_BAR_SEPARATOR}.make)
172                          Result.extend (create {SD_TOOL_BAR_RESIZABLE_ITEM}.make (l_box))                          Result.extend (create {SD_TOOL_BAR_RESIZABLE_ITEM}.make (l_box))
173                          Result.extend (l_button)                          Result.extend (l_button)
174                          Result.extend (create {SD_TOOL_BAR_SEPARATOR}.make)                          Result.extend (create {SD_TOOL_BAR_SEPARATOR}.make)
# Line 336  feature {NONE} -- Initialization Line 340  feature {NONE} -- Initialization
340  feature -- Access  feature -- Access
341    
342          run_analysis_button: EB_SD_COMMAND_TOOL_BAR_BUTTON          run_analysis_button: EB_SD_COMMAND_TOOL_BAR_BUTTON
343                          -- Button to launch AutoProof.                          -- Button to execute Code Analysis.
344    
345            show_preferences_button: EB_SD_COMMAND_TOOL_BAR_BUTTON
346                            -- Button to display preferences dialog.
347    
348          error_count: INTEGER          error_count: INTEGER
349                          -- Number of error events                          -- Number of error events

Legend:
Removed from v.93474  
changed lines
  Added in v.93475

  ViewVC Help
Powered by ViewVC 1.1.23