/[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 50326 by neilc, Fri Apr 22 01:24:09 2005 UTC revision 50549 by neilc, Fri Apr 29 00:59:05 2005 UTC
# Line 315  feature {NONE} -- Initialization Line 315  feature {NONE} -- Initialization
315                          create show_tool_commands.make (7)                          create show_tool_commands.make (7)
316                          create show_toolbar_commands.make (3)                          create show_toolbar_commands.make (3)
317    
                         window.focus_in_actions.extend(agent on_focus)  
   
318                          new_feature_cmd.disable_sensitive                          new_feature_cmd.disable_sensitive
319                          toggle_feature_signature_cmd.disable_sensitive                          toggle_feature_signature_cmd.disable_sensitive
320    
# Line 2911  on_forth is Line 2909  on_forth is
2909                  if context_tool_has_focus then                  if context_tool_has_focus then
2910                          if context_tool.history_manager.is_forth_possible then                          if context_tool.history_manager.is_forth_possible then
2911                                  context_tool.history_manager.forth_command.execute                                  context_tool.history_manager.forth_command.execute
2912                                  editor_tool.text_area.editor_area.enable_sensitive                                  editor_tool.text_area.editor_viewport.enable_sensitive
2913                                  editor_tool.text_area.set_focus                                  editor_tool.text_area.set_focus
2914                          end                          end
2915                  elseif history_manager.is_forth_possible then                  elseif history_manager.is_forth_possible then
2916                          history_manager.forth_command.execute                          history_manager.forth_command.execute
2917                          editor_tool.text_area.editor_area.enable_sensitive                          editor_tool.text_area.editor_viewport.enable_sensitive
2918                          editor_tool.text_area.set_focus                          editor_tool.text_area.set_focus
2919                  end                  end
2920          end          end
# Line 3384  window_moved (x_pos, y_pos: INTEGER) is Line 3382  window_moved (x_pos, y_pos: INTEGER) is
3382                  end                                      end                    
3383          end          end
3384                    
 feature {NONE} -- external edition handling  
   
 on_focus is  
                 -- check if the text has not been modified by an external editor  
         local  
                 dialog: EV_INFORMATION_DIALOG  
                 button_labels: ARRAY [STRING]  
                 actions: ARRAY [PROCEDURE [ANY, TUPLE]]  
         do  
                 debug ("DEBUGGER_INTERFACE")  
                         io.put_string ("Took focus!%N")  
                 end  
                 if not editor_tool.edited_file_is_up_to_date then  
                         if not editor_tool.file_date_already_checked then  
                                 if not editor_tool.changed and preferences.editor_data.automatic_update  
                                 then  
                                         editor_tool.reload  
                                 else  
                                         create dialog.make_with_text (warning_messages.w_file_modified_by_another_editor)  
                                         create button_labels.make (1, 2)  
                                         create actions.make (1, 2)  
                                         button_labels.put (interface_names.b_Reload, 1)  
                                         actions.put (agent editor_tool.reload, 1)  
                                         button_labels.put (interface_names.b_Continue_anyway, 2)  
                                         actions.put (agent editor_tool.set_changed (True), 2)  
                                         dialog.set_buttons_and_actions (button_labels,actions)  
                                         dialog.set_default_push_button (dialog.button (button_labels @ 1))  
                                         dialog.set_default_cancel_button (dialog.button (button_labels @ 2))  
                                         dialog.set_title (interface_names.t_External_edition)  
                                         dialog.show_modal_to_window (window)  
                                 end  
                         end  
                 end  
         end  
   
3385  feature {NONE} -- Execution  feature {NONE} -- Execution
3386    
3387  Kcst: EV_KEY_CONSTANTS is  Kcst: EV_KEY_CONSTANTS is

Legend:
Removed from v.50326  
changed lines
  Added in v.50549

  ViewVC Help
Powered by ViewVC 1.1.23