/[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 27108 by etienne, Tue Aug 21 18:37:02 2001 UTC revision 27144 by etienne, Wed Aug 22 21:21:58 2001 UTC
# Line 81  inherit Line 81  inherit
81          TEXT_OBSERVER          TEXT_OBSERVER
82                  redefine                  redefine
83                          on_text_reset, on_text_edited,                          on_text_reset, on_text_edited,
84                          on_selection_begun, on_selection_finished                          on_selection_begun, on_selection_finished,
85                            on_text_back_to_its_last_saved_state
86                  end                  end
87    
88          EB_FORMATTER_DATA          EB_FORMATTER_DATA
# Line 2364  feature {NONE} -- Implementation Line 2365  feature {NONE} -- Implementation
2365                  end                  end
2366    
2367          on_text_reset is          on_text_reset is
2368                            -- The main editor has just been wiped out
2369                            -- before loading a new file.
2370                  local                  local
2371                          str: STRING                          str: STRING
2372                  do                  do
# Line 2375  feature {NONE} -- Implementation Line 2378  feature {NONE} -- Implementation
2378                          address_manager.enable_formatters                          address_manager.enable_formatters
2379                  end                  end
2380    
2381            on_text_back_to_its_last_saved_state is
2382                    local
2383                            str: STRING
2384                    do
2385                            str := clone (title)
2386                            if str @ 1 = '*' then
2387                                    str.tail (str.count - 2)
2388                                    set_title (str)
2389                            end
2390                    end                    
2391                    
2392    
2393          on_text_edited (unused: BOOLEAN) is          on_text_edited (unused: BOOLEAN) is
2394                          -- The text in the editor is modified, add the '*' in the title.                          -- The text in the editor is modified, add the '*' in the title.
2395                          -- Gray out the formatters.                          -- Gray out the formatters.

Legend:
Removed from v.27108  
changed lines
  Added in v.27144

  ViewVC Help
Powered by ViewVC 1.1.23