/[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 61485 by tedf, Wed Jul 19 21:44:58 2006 UTC revision 61507 by patrickr, Thu Jul 20 17:33:54 2006 UTC
# Line 2988  feature {NONE} -- Implementation Line 2988  feature {NONE} -- Implementation
2988                                  f.close                                  f.close
2989                                  editor_tool.text_area.set_stone (a_stone)                                  editor_tool.text_area.set_stone (a_stone)
2990                                  editor_tool.text_area.load_text (f.last_string)                                  editor_tool.text_area.load_text (f.last_string)
2991                          elseif target_stone /= Void then                          elseif target_stone /= Void and then target_stone.is_valid then
2992                                  properties_tool.add_stone (target_stone)                                  properties_tool.add_stone (target_stone)
2993                          else                          else
2994                                          -- Remember previous stone.                                          -- Remember previous stone.
# Line 3024  feature {NONE} -- Implementation Line 3024  feature {NONE} -- Implementation
3024                                                  -- Text is now editable.                                                  -- Text is now editable.
3025                                          editor_tool.text_area.set_read_only (False)                                          editor_tool.text_area.set_read_only (False)
3026    
3027                                          properties_tool.add_stone (new_class_stone)                                          if new_class_stone.is_valid then
3028                                                    properties_tool.add_stone (new_class_stone)
3029                                            end
3030    
3031                                                  -- class stone was dropped                                                  -- class stone was dropped
3032                                          create class_file.make (new_class_stone.class_i.file_name)                                          create class_file.make (new_class_stone.class_i.file_name)
# Line 3206  feature {NONE} -- Implementation Line 3208  feature {NONE} -- Implementation
3208                                                  managed_main_formatters.forth                                                  managed_main_formatters.forth
3209                                          end                                          end
3210                                          if cluster_st /= Void then                                          if cluster_st /= Void then
3211                                                  properties_tool.add_stone (cluster_st)                                                  if cluster_st.is_valid then
3212                                                            properties_tool.add_stone (cluster_st)
3213                                                    end
3214                                                  if cluster_st.is_cluster then                                                  if cluster_st.is_cluster then
3215          --| FIXME XR: Really manage cluster display in the main editor          --| FIXME XR: Really manage cluster display in the main editor
3216                                                          if not during_synchronization then                                                          if not during_synchronization then

Legend:
Removed from v.61485  
changed lines
  Added in v.61507

  ViewVC Help
Powered by ViewVC 1.1.23