/[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 48565 by manus, Fri Feb 18 22:11:49 2005 UTC revision 48615 by king, Tue Feb 22 22:54:29 2005 UTC
# Line 2265  feature -- Multiple editor management Line 2265  feature -- Multiple editor management
2265    
2266          update_paste_cmd is          update_paste_cmd is
2267                          -- Update `editor_paste_cmd'. To be performed when an editor grabs the focus.                          -- Update `editor_paste_cmd'. To be performed when an editor grabs the focus.
                 local  
                         txt: STRING  
2268                  do                  do
                         txt := current_editor.clipboard.text  
2269                          if                          if
2270                                  not current_editor.is_empty and then                                  not current_editor.is_empty and then
2271                                  current_editor.is_editable and then                                  current_editor.is_editable and then
2272                                  txt /= Void and then                                  current_editor.clipboard.has_text
                                 not txt.is_empty  
2273                          then                          then
2274                                  editor_paste_cmd.enable_sensitive                                  editor_paste_cmd.enable_sensitive
2275                          else                          else

Legend:
Removed from v.48565  
changed lines
  Added in v.48615

  ViewVC Help
Powered by ViewVC 1.1.23