/[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 57426 by tedf, Fri Mar 10 20:30:45 2006 UTC revision 57463 by tedf, Tue Mar 14 21:55:40 2006 UTC
# Line 3069  feature {NONE} -- Implementation Line 3069  feature {NONE} -- Implementation
3069                                                          end                                                          end
3070                                                  end                                                  end
3071                                          end                                          end
3072                                          if managed_main_formatters.first.selected then                                          if not managed_main_formatters.first.selected then
                                                 editor_tool.text_area.set_read_only (false)  
                                         else  
3073                                                  editor_tool.text_area.set_read_only (true)                                                  editor_tool.text_area.set_read_only (true)
3074                                          end                                          end
3075                                  else                                  else

Legend:
Removed from v.57426  
changed lines
  Added in v.57463

  ViewVC Help
Powered by ViewVC 1.1.23