/[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 50607 by manus, Mon May 2 16:17:57 2005 UTC revision 50976 by neilc, Wed May 11 23:15:39 2005 UTC
# Line 144  feature {NONE} -- Initialization Line 144  feature {NONE} -- Initialization
144          make is          make is
145                          -- Create a new development window.                          -- Create a new development window.
146                  do                  do
147                          unified_stone := preferences.project_tool_data.context_unified_stone                          unified_stone := preferences.development_window_data.context_unified_stone
148                                  -- Build the history manager, the address manager, ...                                  -- Build the history manager, the address manager, ...
149                          create history_manager.make (Current)                          create history_manager.make (Current)
150                          create address_manager.make (Current, False)                          create address_manager.make (Current, False)
# Line 3367  feature -- Stone process Line 3367  feature -- Stone process
3367                                          check                                          check
3368                                                  not_destroyed: not tool_window.window.is_destroyed                                                  not_destroyed: not tool_window.window.is_destroyed
3369                                          end                                          end
3370                                          if preferences.browsing_data.dock_tracking then                                          if preferences.development_window_data.dock_tracking then
3371                                                  tool_window.window.move_actions.block                                                  tool_window.window.move_actions.block
3372                                                  tool_window.window.set_x_position (x_pos + tool_window.x_position)                                                  tool_window.window.set_x_position (x_pos + tool_window.x_position)
3373                                                  tool_window.window.set_y_position (y_pos + tool_window.y_position)                                                  tool_window.window.set_y_position (y_pos + tool_window.y_position)

Legend:
Removed from v.50607  
changed lines
  Added in v.50976

  ViewVC Help
Powered by ViewVC 1.1.23