/[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 30037 by xavier, Thu Jan 3 19:30:15 2002 UTC revision 31058 by manus, Fri Mar 15 07:16:11 2002 UTC
# Line 1754  feature -- Stone process Line 1754  feature -- Stone process
1754                  do                  do
1755                          set_default_format                          set_default_format
1756                          e_class := s.e_feature.written_class                          e_class := s.e_feature.written_class
1757                          if e_class.lace_class.hide_implementation then                          create cl_stone.make (e_class)
1758                                  set_stone (s)                          set_stone (cl_stone)
1759                          else                          editor_tool.text_area.deselect_all
1760                                  create cl_stone.make (e_class)                          pos := s.error_position
1761                                  set_stone (cl_stone)                          txt := text
1762                                  editor_tool.text_area.deselect_all                          if txt.count > pos then
1763                                  pos := s.error_position                                  if txt.item (pos) = '%N' then  
1764                                  txt := text                                          end_pos := txt.index_of ('%N', pos + 1)
1765                                  if txt.count > pos then                                  else
1766                                          if txt.item (pos) = '%N' then                                            end_pos := txt.index_of ('%N', pos)
1767                                                  end_pos := txt.index_of ('%N', pos + 1)                                  end
1768                                          else                                  if pos /= 0 then
1769                                                  end_pos := txt.index_of ('%N', pos)                                          editor_tool.text_area.highlight_selected (pos, end_pos)
                                         end  
                                         if pos /= 0 then  
                                                 editor_tool.text_area.highlight_selected (pos, end_pos)  
                                         end  
1770                                  end                                  end
1771                          end                          end
1772                  end                  end

Legend:
Removed from v.30037  
changed lines
  Added in v.31058

  ViewVC Help
Powered by ViewVC 1.1.23