/[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 59163 by tedf, Wed May 24 16:21:42 2006 UTC revision 59189 by tedf, Thu May 25 00:13:41 2006 UTC
# Line 3101  feature {NONE} -- Implementation Line 3101  feature {NONE} -- Implementation
3101                                          end                                          end
3102                                          if not managed_main_formatters.first.selected then                                          if not managed_main_formatters.first.selected then
3103                                                  editor_tool.text_area.set_read_only (true)                                                  editor_tool.text_area.set_read_only (true)
3104                                            elseif new_class_stone /= Void and then new_class_stone.class_i.is_read_only then
3105                                                    editor_tool.text_area.set_read_only (true)
3106                                          end                                          end
3107                                  else                                  else
3108                                                  -- not a class text : cannot be edited                                                  -- not a class text : cannot be edited

Legend:
Removed from v.59163  
changed lines
  Added in v.59189

  ViewVC Help
Powered by ViewVC 1.1.23