/[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 52122 by manus, Tue Jun 14 19:30:13 2005 UTC revision 52172 by manus, Wed Jun 15 19:23:36 2005 UTC
# Line 196  feature {NONE} -- Initialization Line 196  feature {NONE} -- Initialization
196          init_size_and_position is          init_size_and_position is
197                          -- Initialize window size.                          -- Initialize window size.
198                  local                  local
199                          screen: EV_SCREEN                          screen: EB_STUDIO_SCREEN
200                            l_x, l_y: INTEGER
201                  do                  do
202                          create screen                          create screen
203                          window.set_size (                          window.set_size (
204                                  preferences.development_window_data.width.min (screen.width),                                  preferences.development_window_data.width.min (screen.width),
205                                  preferences.development_window_data.height.min (screen.height))                                  preferences.development_window_data.height.min (screen.height))
206                          window.set_position (                          l_x := preferences.development_window_data.x_position
207                                  preferences.development_window_data.x_position,                          if l_x < screen.virtual_left or l_x > screen.virtual_right then
208                                  preferences.development_window_data.y_position)                                          -- Somehow screens have changed, reset it to 0
209                                    l_x := 0
210                            end
211                            l_y := preferences.development_window_data.y_position
212                            if l_y < screen.virtual_top or l_y > screen.virtual_bottom then
213                                            -- Somehow screens have changed, reset it to 0
214                                    l_y := 0
215                            end
216                            window.set_position (l_x, l_y)
217                  end                  end
218    
219          window_displayed is          window_displayed is

Legend:
Removed from v.52122  
changed lines
  Added in v.52172

  ViewVC Help
Powered by ViewVC 1.1.23