/[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 56237 by tedf, Tue Dec 20 17:12:15 2005 UTC revision 56245 by jasonw, Tue Dec 20 18:24:32 2005 UTC
# Line 2298  feature -- Resource Update Line 2298  feature -- Resource Update
2298                          end                          end
2299                  end                  end
2300    
2301            on_c_compilation_starts is
2302                            -- Enable commands when freezing or finalizing starts.
2303                    do
2304                            c_workbench_compilation_cmd.disable_sensitive
2305                            c_finalized_compilation_cmd.disable_sensitive
2306                    end
2307    
2308            on_c_compilation_stops is
2309                            -- Disable commands when freezing or finalizing stops.
2310                    do
2311                            c_workbench_compilation_cmd.enable_sensitive
2312                            c_finalized_compilation_cmd.enable_sensitive
2313                    end
2314    
2315          save_before_compiling is          save_before_compiling is
2316                          -- save the text but do not update clickable positions                          -- save the text but do not update clickable positions
2317                  do                  do
# Line 3554  feature {NONE} -- Implementation Line 3568  feature {NONE} -- Implementation
3568                  local                  local
3569                          dialog_w: EV_WARNING_DIALOG                          dialog_w: EV_WARNING_DIALOG
3570                  do                  do
3571                          if editor_tool /= Void and then editor_tool.text_area /= Void and then changed and then not confirmed then                          if Window_manager.development_windows_count > 1 and then process_manager.is_external_command_running and then Current = external_output_manager.target_development_window then
3572                                  if Window_manager.development_windows_count > 1 then                                  process_manager.confirm_external_command_termination (agent terminate_external_command_and_destroy, agent do_nothing, window)
                                         create dialog_w.make_with_text (Warning_messages.w_save_before_closing)  
                                         dialog_w.set_buttons_and_actions (<<"Yes", "No", "Cancel">>, <<agent save_and_destroy, agent force_destroy, agent do_nothing>>)  
                                         dialog_w.set_default_push_button (dialog_w.button("Yes"))  
                                         dialog_w.set_default_cancel_button (dialog_w.button("Cancel"))  
                                         dialog_w.show_modal_to_window (window)  
                                 else  
                                                 -- We let the window manager handle the saving, along with other windows  
                                                 -- (not development windows)  
                                         force_destroy  
                                 end  
3573                          else                          else
3574                                  Precursor {EB_TOOL_MANAGER}                                  if editor_tool /= Void and then editor_tool.text_area /= Void and then changed and then not confirmed then
3575                                  if context_refreshing_timer /= Void then                                          if Window_manager.development_windows_count > 1 then
3576                                          context_refreshing_timer.destroy                                                  create dialog_w.make_with_text (Warning_messages.w_save_before_closing)
3577                                          context_refreshing_timer := Void                                                  dialog_w.set_buttons_and_actions (<<"Yes", "No", "Cancel">>, <<agent save_and_destroy, agent force_destroy, agent do_nothing>>)
3578                                                    dialog_w.set_default_push_button (dialog_w.button("Yes"))
3579                                                    dialog_w.set_default_cancel_button (dialog_w.button("Cancel"))
3580                                                    dialog_w.show_modal_to_window (window)
3581                                            else
3582                                                            -- We let the window manager handle the saving, along with other windows
3583                                                            -- (not development windows)
3584                                                    force_destroy
3585                                            end
3586                                    else
3587                                            Precursor {EB_TOOL_MANAGER}
3588                                            if context_refreshing_timer /= Void then
3589                                                    context_refreshing_timer.destroy
3590                                                    context_refreshing_timer := Void
3591                                            end
3592                                  end                                  end
3593                          end                          end
3594                  end                  end
3595    
3596            terminate_external_command_and_destroy is
3597                            -- Terminate running external command and destroy.
3598                    do
3599                            process_manager.terminate_external_command
3600                            destroy
3601                    ensure
3602                            external_command_not_running: not process_manager.is_external_command_running
3603                    end
3604    
3605          save_and_destroy is          save_and_destroy is
3606                  do                  do
3607                          save_text                          save_text
# Line 3838  feature {EB_TOOL} -- Implementation / Co Line 3865  feature {EB_TOOL} -- Implementation / Co
3865          melt_cmd: EB_MELT_PROJECT_COMMAND          melt_cmd: EB_MELT_PROJECT_COMMAND
3866                          -- Command to start compilation.                          -- Command to start compilation.
3867    
3868          freeze_cmd: EB_FREEZE_PROJECT_COMMAND  --      freeze_cmd: EB_FREEZE_PROJECT_COMMAND
3869                          -- Command to Freeze the project.  --                      -- Command to Freeze the project.
3870    --
3871          finalize_cmd: EB_FINALIZE_PROJECT_COMMAND  --      finalize_cmd: EB_FINALIZE_PROJECT_COMMAND
3872                          -- Command to Finalize the project.  --                      -- Command to Finalize the project.
3873    
3874  feature{EB_TOOL, EB_C_COMPILER_LAUNCHER}  feature{EB_TOOL, EB_C_COMPILER_LAUNCHER}
3875    

Legend:
Removed from v.56237  
changed lines
  Added in v.56245

  ViewVC Help
Powered by ViewVC 1.1.23