/[eiffelstudio]/branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/windows/eb_development_window.e
ViewVC logotype

Diff of /branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/windows/eb_development_window.e

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

revision 49729 by neilc, Fri Apr 1 23:24:13 2005 UTC revision 49764 by manus, Mon Apr 4 05:47:05 2005 UTC
# Line 1814  process_feature_error (s: FEATURE_ERROR_ Line 1814  process_feature_error (s: FEATURE_ERROR_
1814          local          local
1815                  cl_stone: CLASSC_STONE                  cl_stone: CLASSC_STONE
1816                  e_class: CLASS_C                  e_class: CLASS_C
                 txt: STRING  
                 pos, end_pos: INTEGER  
1817          do          do
1818                  set_default_format                  set_default_format
1819                  e_class := s.e_feature.written_class                  e_class := s.e_feature.written_class
1820                  create cl_stone.make (e_class)                  create cl_stone.make (e_class)
1821                  set_stone (cl_stone)                  set_stone (cl_stone)
1822                  editor_tool.text_area.deselect_all                  editor_tool.text_area.deselect_all
1823                  pos := s.error_position                  if s.line_number > 0 then
1824                  txt := text                          editor_tool.text_area.highlight_selected (s.line_number, s.line_number)
                 if txt.count > pos then  
                         if txt.item (pos) = '%N' then    
                                 end_pos := txt.index_of ('%N', pos + 1)  
                         else  
                                 end_pos := txt.index_of ('%N', pos)  
                         end  
                         if pos /= 0 then  
                                 editor_tool.text_area.highlight_selected (pos, end_pos)  
                         end  
1825                  end                  end
1826          end          end
1827    
# Line 1846  process_class_syntax (s: CL_SYNTAX_STONE Line 1835  process_class_syntax (s: CL_SYNTAX_STONE
1835                  create cl_stone.make (s.e_class)                  create cl_stone.make (s.e_class)
1836                  set_stone (cl_stone)                  set_stone (cl_stone)
1837                  editor_tool.text_area.deselect_all                  editor_tool.text_area.deselect_all
1838                  editor_tool.text_area.highlight_when_ready (s.start_position + 1, s.end_position + 1)                  editor_tool.text_area.highlight_when_ready (s.line, s.line)
1839          end          end
1840    
1841  refresh is  refresh is

Legend:
Removed from v.49729  
changed lines
  Added in v.49764

  ViewVC Help
Powered by ViewVC 1.1.23