/[eiffelstudio]/branches/eth/eve/Src/Eiffel/interface/graphical/tools/event_list_service/error_list/es_error_list_tool_panel.e
ViewVC logotype

Diff of /branches/eth/eve/Src/Eiffel/interface/graphical/tools/event_list_service/error_list/es_error_list_tool_panel.e

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

revision 94982 by jasonw, Fri Jan 10 09:05:53 2014 UTC revision 94983 by jasonw, Fri May 2 11:05:28 2014 UTC
# Line 72  feature {NONE} -- Initialization: User i Line 72  feature {NONE} -- Initialization: User i
72                          l_col: EV_GRID_COLUMN                          l_col: EV_GRID_COLUMN
73                  do                  do
74                          Precursor {ES_CLICKABLE_EVENT_LIST_TOOL_PANEL_BASE} (a_widget)                          Precursor {ES_CLICKABLE_EVENT_LIST_TOOL_PANEL_BASE} (a_widget)
75                          a_widget.set_column_count_to (position_column)                          a_widget.set_column_count_to (last_column)
76    
77                                  -- Create columns                                  -- Create columns
78                          l_col := a_widget.column (1)                          l_col := a_widget.column (1)
# Line 92  feature {NONE} -- Initialization: User i Line 92  feature {NONE} -- Initialization: User i
92                          l_col.set_title (interface_names.l_position)                          l_col.set_title (interface_names.l_position)
93                          l_col.set_width (80)                          l_col.set_width (80)
94    
95                            l_col := a_widget.column (fix_column)
96                            l_col.set_title (interface_names.l_fix_suggestion)
97                            l_col.set_width (160)
98    
99                          a_widget.enable_tree                          a_widget.enable_tree
100                          a_widget.disable_row_height_fixed                          a_widget.disable_row_height_fixed
101                          a_widget.enable_auto_size_best_fit_column (error_column)                          a_widget.enable_auto_size_best_fit_column (error_column)
# Line 150  feature {NONE} -- Initialization: User i Line 154  feature {NONE} -- Initialization: User i
154                          stone_director.bind (grid_events, Current)                          stone_director.bind (grid_events, Current)
155    
156                                  -- Hook up events for session data                                  -- Hook up events for session data
157                          if session_manager.is_service_available then                          if attached session_manager.service then
158                                  session_data.session_connection.connect_events (Current)                                  session_data.session_connection.connect_events (Current)
159                                  if attached {BOOLEAN_REF} session_data.value_or_default (expand_errors_session_id, False) as l_expand then                                  if attached {BOOLEAN_REF} session_data.value_or_default (expand_errors_session_id, False) as l_expand then
160                                          is_expanding_errors := l_expand.item                                          is_expanding_errors := l_expand.item
# Line 173  feature {NONE} -- Clean up Line 177  feature {NONE} -- Clean up
177          internal_recycle          internal_recycle
178                          -- <Precursor>                          -- <Precursor>
179                  do                  do
180                          if is_initialized then                          if
181                                  if session_manager.is_service_available then                                  is_initialized and then
182                                          if session_data.session_connection.is_connected (Current) then                                  attached session_manager.service and then
183                                                  session_data.session_connection.disconnect_events (Current)                                  session_data.session_connection.is_connected (Current)
184                                          end                          then
185                                  end                                  session_data.session_connection.disconnect_events (Current)
186                          end                          end
187                          Precursor {ES_CLICKABLE_EVENT_LIST_TOOL_PANEL_BASE}                          Precursor {ES_CLICKABLE_EVENT_LIST_TOOL_PANEL_BASE}
188                  end                  end
# Line 217  feature {NONE} -- Access: User interface Line 221  feature {NONE} -- Access: User interface
221          expand_errors_button: detachable SD_TOOL_BAR_TOGGLE_BUTTON          expand_errors_button: detachable SD_TOOL_BAR_TOGGLE_BUTTON
222                          -- Toogle to expanded error events automatically                          -- Toogle to expanded error events automatically
223    
 --      fix_button: detachable SD_TOOL_BAR_DUAL_POPUP_BUTTON  
 --                      -- Automatic fix button  
   
224          delete_button: detachable SD_TOOL_BAR_BUTTON          delete_button: detachable SD_TOOL_BAR_BUTTON
225                          -- Delete selected items button                          -- Delete selected items button
226    
# Line 337  feature {NONE} -- Command items Line 338  feature {NONE} -- Command items
338                          result_attached: Result /= Void                          result_attached: Result /= Void
339                  end                  end
340    
341            apply_fix_command: ES_FIX_COMMAND
342                            -- "Apply fix" command.
343                    do
344                            Result := develop_window.commands.apply_fix_command
345                    ensure
346                            result_attached: Result /= Void
347                    end
348    
349          error_info_command: EB_ERROR_INFORMATION_CMD          error_info_command: EB_ERROR_INFORMATION_CMD
350                          -- Error information command.                          -- Error information command.
351    
# Line 413  feature {NONE} -- Query Line 422  feature {NONE} -- Query
422                          Result := l_preference.preferences.error_list_tool_data.show_tooltip                          Result := l_preference.preferences.error_list_tool_data.show_tooltip
423                  end                  end
424    
 --feature {NONE} -- Helpers  
   
 --      fix_handlers: ES_ERROR_FIX_HANDLER  
 --                      -- Shared access to fix operations.  
 --              once  
 --                      create Result  
 --              ensure  
 --                      result_attached: attached Result  
 --              end  
   
425  feature {ES_TOOL} -- Basic operation  feature {ES_TOOL} -- Basic operation
426    
427          show          show
# Line 476  feature {NONE} -- Basic operations Line 475  feature {NONE} -- Basic operations
475                          -- <Precursor>                          -- <Precursor>
476                  local                  local
477                          l_menu: EV_MENU                          l_menu: EV_MENU
478                          l_remove: EV_MENU_ITEM                          l_menu_item: EV_MENU_ITEM
479                            s: ARRAYED_LIST [EV_GRID_ROW]
480                            fix_count: INTEGER
481                  do                  do
482                          if attached {EVENT_LIST_ITEM_I} a_item.row.data as l_item then                          if attached {EVENT_LIST_ITEM_I} a_item.row.data as l_item then
483                                  create l_menu                                  create l_menu
484    
485                                          -- Remove, singluar                                  s := grid_events.selected_rows
486                                  create l_remove.make_with_text (interface_names.m_remove)                                  across
487                                  l_remove.set_pixmap (stock_pixmaps.general_delete_icon)                                          s as r
488                                  l_remove.select_actions.extend (agent remove_event_list_row (a_item.row))                                  loop
489                                  l_menu.extend (l_remove)                                          if
490                                                    attached {EVENT_LIST_ITEM_I} r.item.data and then
491                                                    attached r.item.item (fix_column) as f and then
492                                                    attached f.data
493                                            then
494                                                            -- TODO: check that the fiax has not been applied.
495                                                    fix_count := fix_count + 1
496                                            end
497                                    end
498    
499                                    if fix_count > 1 then
500                                                    -- There are several selected fixes.
501                                            create l_menu_item.make_with_text (locale.formatted_string
502                                                    (locale.plural_translation ("Apply $1 fix", "Apply $1 fixes", fix_count), fix_count))
503                                            l_menu_item.set_pixmap (stock_pixmaps.errors_and_warnings_fix_apply_icon)
504                                            l_menu_item.select_actions.extend (agent apply_fix)
505                                            l_menu.extend (l_menu_item)
506                                            l_menu.extend (create {EV_MENU_SEPARATOR})
507                                    elseif
508                                            attached {EB_GRID_EDITOR_TOKEN_ITEM} a_item.row.item (fix_column) as f and then
509                                            attached {ES_FIX_UNUSED_LOCAL} f.data as action
510                                    then
511                                                    -- This is just one selected fix.
512                                            create l_menu_item.make_with_text (f.text)
513                                            l_menu_item.set_pixmap (stock_pixmaps.errors_and_warnings_fix_apply_icon)
514                                            l_menu_item.select_actions.extend (agent apply_single_fix (a_item.row))
515                                            l_menu.extend (l_menu_item)
516                                            l_menu.extend (create {EV_MENU_SEPARATOR})
517                                    end
518    
519                                            -- Remove, singular.
520                                    create l_menu_item.make_with_text (interface_names.m_remove)
521                                    l_menu_item.set_pixmap (stock_pixmaps.general_delete_icon)
522                                    l_menu_item.select_actions.extend (agent remove_event_list_row (a_item.row))
523                                    l_menu.extend (l_menu_item)
524    
525                                  if grid_events.has_selected_row then                                  if grid_events.has_selected_row then
526                                                  -- Remove, multiple                                                  -- Remove, multiple.
527                                          create l_remove.make_with_text (interface_names.m_remove_all)                                          create l_menu_item.make_with_text (interface_names.m_remove_all)
528                                          l_remove.set_pixmap (stock_pixmaps.general_delete_icon)                                          l_menu_item.set_pixmap (stock_pixmaps.general_delete_icon)
529                                          l_remove.select_actions.extend (agent on_select_delete_button)                                          l_menu_item.select_actions.extend (agent on_select_delete_button)
530                                          l_menu.extend (l_remove)                                          l_menu.extend (l_menu_item)
531                                  end                                  end
532                                  l_menu.show_at (a_item.row.parent, a_x, a_y)                                  l_menu.show_at (a_item.row.parent, a_x, a_y)
533                          else                          else
# Line 502  feature {NONE} -- Basic operations Line 537  feature {NONE} -- Basic operations
537                                          row_parented: a_item.row.parent_row /= Void                                          row_parented: a_item.row.parent_row /= Void
538                                  end                                  end
539                          end                          end
   
540                  end                  end
541    
542          populate_event_grid_row_items (a_event_item: EVENT_LIST_ITEM_I; a_row: EV_GRID_ROW)          populate_event_grid_row_items (a_event_item: EVENT_LIST_ITEM_I; a_row: EV_GRID_ROW)
# Line 514  feature {NONE} -- Basic operations Line 548  feature {NONE} -- Basic operations
548                          l_editor_item: EB_GRID_EDITOR_TOKEN_ITEM                          l_editor_item: EB_GRID_EDITOR_TOKEN_ITEM
549                          l_gen: EB_EDITOR_TOKEN_GENERATOR                          l_gen: EB_EDITOR_TOKEN_GENERATOR
550                          l_item: EV_GRID_LABEL_ITEM                          l_item: EV_GRID_LABEL_ITEM
                         l_error: ERROR  
551                          l_tip: EB_EDITOR_TOKEN_TOOLTIP                          l_tip: EB_EDITOR_TOKEN_TOOLTIP
552                          l_content: LIST [EDITOR_TOKEN]                          l_content: LIST [EDITOR_TOKEN]
553                          l_pixmap: EV_PIXMAP                          l_pixmap: EV_PIXMAP
# Line 543  feature {NONE} -- Basic operations Line 576  feature {NONE} -- Basic operations
576                          a_row.set_item (category_column, l_item)                          a_row.set_item (category_column, l_item)
577    
578                                  -- Set error information                                  -- Set error information
579                          l_error ?= a_event_item.data                          if attached {ERROR} a_event_item.data as l_error then
                         if l_error /= Void then  
580                                  create l_gen.make                                  create l_gen.make
581                                  tracer.trace (l_gen, l_error, {ERROR_TRACER}.single_line)                                  tracer.trace_tersely (l_gen, l_error)
582    
583                                  if l_gen.last_line /= Void and then l_gen.last_line.count > 0 then                                  if l_gen.last_line /= Void and then l_gen.last_line.count > 0 then
584                                          l_editor_item := create_clickable_grid_item (l_gen.last_line, False)                                          l_editor_item := create_clickable_grid_item (l_gen.last_line, False)
# Line 591  feature {NONE} -- Basic operations Line 623  feature {NONE} -- Basic operations
623    
624                                          -- Context                                          -- Context
625                                  create l_gen.make                                  create l_gen.make
626                                  tracer.trace (l_gen, l_error, {ERROR_TRACER}.context)                                  tracer.trace_context (l_gen, l_error)
627                                  if l_gen.last_line /= Void then                                  if l_gen.last_line /= Void then
628                                          l_editor_item := create_clickable_grid_item (l_gen.last_line, False)                                          l_editor_item := create_clickable_grid_item (l_gen.last_line, False)
629                                                  -- No extra initialization needed so update `l_editor_item' to reflect settings.                                                  -- No extra initialization needed so update `l_editor_item' to reflect settings.
# Line 635  feature {NONE} -- Basic operations Line 667  feature {NONE} -- Basic operations
667                                          l_editor_item.try_call_setting_change_actions                                          l_editor_item.try_call_setting_change_actions
668                                  end                                  end
669                                  a_row.set_item (position_column, l_editor_item)                                  a_row.set_item (position_column, l_editor_item)
670    
671                                            -- Fix option.
672                                    a_row.set_item (fix_column, fix_option_item (l_error))
673                          end                          end
674    
675                                  -- Fill empty items                                  -- Fill empty items
# Line 647  feature {NONE} -- Basic operations Line 682  feature {NONE} -- Basic operations
682                                          a_row.hide                                          a_row.hide
683                                  end                                  end
684                          elseif is_warning_event (a_event_item) then                          elseif is_warning_event (a_event_item) then
685                                  if not is_displaying_warnings or else filter_widget /= Void and then not filter_widget.is_unfiltered (l_error) then                                  if
686                                            not is_displaying_warnings or else
687                                            filter_widget /= Void and then
688                                            attached {ERROR} a_event_item.data as l_error and then
689                                            not filter_widget.is_unfiltered (l_error)
690                                    then
691                                          a_row.hide                                          a_row.hide
692                                  end                                  end
693                          else                          else
# Line 669  feature {NONE} -- Basic operations Line 709  feature {NONE} -- Basic operations
709                          is_expanding_all_errors_unchanged: is_expanding_all_errors = old is_expanding_all_errors                          is_expanding_all_errors_unchanged: is_expanding_all_errors = old is_expanding_all_errors
710                  end                  end
711    
712            fix_option_item (e: ERROR): detachable EV_GRID_ITEM
713                            -- An entry for a fix option column (if any).
714                    local
715                            fix_item: detachable EB_GRID_EDITOR_TOKEN_ITEM
716                            formatter: EB_EDITOR_TOKEN_GENERATOR
717                    do
718                            if attached {COMPILER_ERROR} e as ce and then attached ce.fix_option as f then
719                                    create formatter.make
720                                            -- TODO: Handle multiple fix options instead of just the first one.
721                                    across
722                                            f as o
723                                    until
724                                            attached fix_item
725                                    loop
726                                                    -- Get fix option text.
727                                            o.item.append_name (formatter)
728                                            if attached formatter.last_line as l and then l.count > 0 then
729                                                    fix_item := create_clickable_grid_item (l, True)
730                                                            -- Get fix option description.
731                                                    formatter.wipe_out_lines
732                                                    o.item.append_description (formatter)
733                                                    if attached formatter.last_line as d and then d.count > 0 then
734                                                                    -- Use fix option description as a tooltip.
735                                                                    -- TODO: Use colorful popup window instead.
736                                                            fix_item.set_tooltip (d.wide_image)
737                                                    end
738                                                            -- Associate fix option with the grid item.
739                                                    if attached {FIX_UNUSED_LOCAL} o.item as u then
740                                                            fix_item.set_data (create {ES_FIX_UNUSED_LOCAL}.make (u))
741                                                    else
742                                                            fix_item := Void
743                                                    end
744                                            end
745                                    end
746                                    if attached fix_item then
747                                            fix_item.set_pixmap (pixmaps.icon_pixmaps.errors_and_warnings_fix_apply_icon)
748                                            Result := fix_item
749                                    end
750                            end
751                    end
752    
753          update_tool_title_and_pixmap          update_tool_title_and_pixmap
754                          -- Sets the tool's title an pixmap based on the number of items existing in the list                          -- Sets the tool's title an pixmap based on the number of items existing in the list
755                  local                  local
# Line 702  feature {NONE} -- Basic operations Line 783  feature {NONE} -- Basic operations
783          update_content_applicable_widgets (a_enable: BOOLEAN)          update_content_applicable_widgets (a_enable: BOOLEAN)
784                          -- <Precursor>                          -- <Precursor>
785                  do                  do
786                          if a_enable and grid_events.has_selected_row then                          if a_enable then
787                                            -- There are some errors. Their error codes can be dropped to this button.
788                                  error_info_command.enable_sensitive                                  error_info_command.enable_sensitive
789                                  delete_button.enable_sensitive                                  if grid_events.has_selected_row then
790                                                    -- Selected errors can be deleted.
791                                            delete_button.enable_sensitive
792                                    else
793                                            delete_button.disable_sensitive
794                                    end
795                                            -- Check if there are fixable elements.
796                                    if
797                                            across
798                                                    grid_events.selected_rows as r
799                                            some
800                                                    attached r.item.item (fix_column) as c and then attached c.data
801                                            end
802                                    then
803                                                    -- TODO: Check that the fix has not been applied.
804                                            apply_fix_command.enable_sensitive
805                                    else
806                                            apply_fix_command.disable_sensitive
807                                    end
808                          else                          else
809                                            -- Everything is disabled.
810                                  error_info_command.disable_sensitive                                  error_info_command.disable_sensitive
811  --                              fix_button.disable_sensitive                                  apply_fix_command.disable_sensitive
812                                  delete_button.disable_sensitive                                  delete_button.disable_sensitive
813                          end                          end
814                  end                  end
# Line 774  feature {NONE} -- Basic operations Line 875  feature {NONE} -- Basic operations
875                          l_lines: LIST [EIFFEL_EDITOR_LINE]                          l_lines: LIST [EIFFEL_EDITOR_LINE]
876                          l_row: EV_GRID_ROW                          l_row: EV_GRID_ROW
877                          l_item: EV_GRID_LABEL_ITEM                          l_item: EV_GRID_LABEL_ITEM
                         l_grid_item: EV_GRID_ITEM  
878                  do                  do
879                          if attached {EVENT_LIST_ITEM_I} a_parent_row.data as l_event and then attached {ERROR} l_event.data as l_error then                          if attached {EVENT_LIST_ITEM_I} a_parent_row.data as l_event and then attached {ERROR} l_event.data as l_error then
880                                  create l_gen.make                                  create l_gen.make
881                                  l_gen.enable_multiline                                  l_gen.enable_multiline
882                                  tracer.trace (l_gen, l_error, {ERROR_TRACER}.normal)                                  tracer.trace (l_gen, l_error)
883                                  l_lines := l_gen.lines                                  l_lines := l_gen.lines
884                                  if not l_lines.is_empty then                                  if not l_lines.is_empty then
                                         l_grid_item := a_parent_row.item (error_column)  
   
885                                                  -- Sub row full error                                                  -- Sub row full error
886                                          if a_parent_row.subrow_count = 0 then                                          if a_parent_row.subrow_count = 0 then
887                                                          -- No subrow, add one.                                                          -- No subrow, add one.
# Line 806  feature {NONE} -- Basic operations Line 904  feature {NONE} -- Basic operations
904                                          grid_events.grid_row_fill_empty_cells (l_row)                                          grid_events.grid_row_fill_empty_cells (l_row)
905                                  end                                  end
906                          end                          end
907                            if
908                                    attached a_parent_row.item (fix_column) as fix_item and then
909                                    attached {ES_FIX_UNUSED_LOCAL} fix_item.data as fix_action
910                            then
911                                    create l_gen.make
912                                    l_gen.enable_multiline
913                                    fix_action.item.append_description (l_gen)
914                                            -- Make sure the last line is added to the list of all lines.
915                                    l_gen.new_line
916                                    l_lines := l_gen.lines
917                                    if not l_lines.is_empty then
918                                                    -- Sub row full error
919                                            if a_parent_row.subrow_count = 0 then
920                                                            -- No subrow, add one.
921                                                            -- Note: A sub row will exist if the information is being updated.
922                                                    a_parent_row.insert_subrow (1)
923                                            end
924                                            check
925                                                    from_instruction_above: attached a_parent_row.subrow (1) as r
926                                            then
927                                                    l_editor_item := create_multiline_clickable_grid_item (l_lines, True, False)
928                                                    l_editor_item.set_text_wrap (True)
929                                                    r.set_height (r.height.max (l_editor_item.required_height_for_text_and_component))
930                                                    r.set_item (fix_column, l_editor_item)
931                                                    grid_events.grid_row_fill_empty_cells (r)
932                                            end
933                                    end
934                            end
935                  end                  end
936    
937          generate_lines_for_tooltip (a_error: ERROR): LIST [EIFFEL_EDITOR_LINE]          generate_lines_for_tooltip (a_error: ERROR): LIST [EIFFEL_EDITOR_LINE]
# Line 817  feature {NONE} -- Basic operations Line 943  feature {NONE} -- Basic operations
943                  do                  do
944                          create l_gen.make                          create l_gen.make
945                          l_gen.enable_multiline                          l_gen.enable_multiline
946                          tracer.trace (l_gen, a_error, {ERROR_TRACER}.normal)                          tracer.trace (l_gen, a_error)
947                          Result := l_gen.lines                          Result := l_gen.lines
948                  ensure                  ensure
949                          Result_set: Result /= Void                          Result_set: Result /= Void
# Line 891  feature {ES_ERROR_LIST_COMMANDER_I} -- B Line 1017  feature {ES_ERROR_LIST_COMMANDER_I} -- B
1017                          end                          end
1018                  end                  end
1019    
1020            apply_fix
1021                            -- <Precursor>
1022                    do
1023                            fix_undo_promt (agent apply_fix_without_undo_prompt)
1024                    end
1025    
1026    feature {NONE} -- Fixing
1027    
1028            apply_single_fix (r: EV_GRID_ROW)
1029                            -- Attempt to apply a fix chosen for row `r'.
1030                    do
1031                            fix_undo_promt (agent apply_single_fix_without_undo_prompt (r))
1032                    end
1033    
1034            apply_single_fix_without_undo_prompt (r: EV_GRID_ROW)
1035                            -- Attempt to apply a fix chosen for row `r' without notification about "undo" behaviour.
1036                    do
1037                                    if
1038                                            attached {EB_GRID_EDITOR_TOKEN_ITEM} r.item (fix_column) as applied_item and then
1039                                            attached {ES_FIX_UNUSED_LOCAL} applied_item.data as fix_action
1040                                    then
1041                                                    -- Prevent further applications of the fix.
1042                                                    -- TODO: Replace manifest strings with translatable strings.
1043                                            applied_item.set_tooltip ({STRING_32} "Applied the fix: " + applied_item.tooltip)
1044                                            applied_item.set_pixmap (pixmaps.icon_pixmaps.errors_and_warnings_fix_ignore_icon)
1045                                                    -- Apply the fix.
1046                                            fix_action.apply
1047                                    end
1048                    end
1049    
1050            apply_fix_without_undo_prompt
1051                            -- Apply fixes to selected items without notification about "undo" behaviour.
1052                    do
1053                            across
1054                                    grid_events.selected_rows as r
1055                            loop
1056                                    apply_single_fix (r.item)
1057                            end
1058                    end
1059    
1060            fix_undo_promt (action: PROCEDURE [ANY, TUPLE])
1061                            -- Raise a discardable prompt about performing fixes by `action' with the description of "undo" behaviour.
1062                    local
1063                            p: ES_DISCARDABLE_WARNING_PROMPT
1064                    do
1065                            create p.make_standard_with_cancel
1066                                    (warning_messages.w_fix_undo_warning,
1067                                    interface_names.l_discard_fix_undo_warning,
1068                                    create {ES_BOOLEAN_PREFERENCE_SETTING}.make (preferences.dialog_data.confirm_fix_without_undo_preference, False))
1069                            p.set_button_action (p.default_confirm_button, action)
1070                            p.show_on_active_window
1071                    end
1072    
1073  feature {NONE} -- Event handlers  feature {NONE} -- Event handlers
1074    
1075          on_unlocked (a_sender: attached LOCKABLE_I)          on_unlocked (a_sender: attached LOCKABLE_I)
# Line 1197  feature {NONE} -- Action handlers Line 1376  feature {NONE} -- Action handlers
1376                          if is_expanding_errors /= l_expand then                          if is_expanding_errors /= l_expand then
1377                                  is_expanding_all_errors := l_expand                                  is_expanding_all_errors := l_expand
1378                                  is_expanding_errors := l_expand                                  is_expanding_errors := l_expand
1379                                  if session_manager.is_service_available then                                  if attached session_manager.service as service then
1380                                          session_manager.service.retrieve (False).set_value (l_expand, expand_errors_session_id)                                          service.retrieve (False).set_value (l_expand, expand_errors_session_id)
1381                                  end                                  end
1382    
1383                                          -- Set applicable grid items and open/closed because on expanded status                                          -- Set applicable grid items and open/closed because on expanded status
# Line 1407  feature {NONE} -- Factory Line 1586  feature {NONE} -- Factory
1586                  do                  do
1587                          create Result.make (11)                          create Result.make (11)
1588    
1589                                    -- Fix buttons.
1590                            l_button := apply_fix_command.new_sd_toolbar_item (True)
1591                            Result.extend (l_button)
1592    
1593                                    -- Separator
1594                            Result.extend (create {SD_TOOL_BAR_SEPARATOR}.make)
1595    
1596                                  -- Navigation buttons                                  -- Navigation buttons
1597                          l_button := go_to_next_error_command.new_sd_toolbar_item (False)                          l_button := go_to_next_error_command.new_sd_toolbar_item (False)
1598                          Result.extend (l_button)                          Result.extend (l_button)
# Line 1500  feature {NONE} -- Constants Line 1686  feature {NONE} -- Constants
1686          error_column: INTEGER = 3          error_column: INTEGER = 3
1687          context_column: INTEGER = 4          context_column: INTEGER = 4
1688          position_column: INTEGER = 5          position_column: INTEGER = 5
1689            fix_column: INTEGER = 6
1690            last_column: INTEGER = 6
1691    
1692          expand_errors_session_id: STRING = "com.eiffel.error_list.expand_errors"          expand_errors_session_id: STRING = "com.eiffel.error_list.expand_errors"
1693    

Legend:
Removed from v.94982  
changed lines
  Added in v.94983

  ViewVC Help
Powered by ViewVC 1.1.23