/[eiffelstudio]/branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/commands/eb_pretty_print_cmd.e
ViewVC logotype

Diff of /branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/commands/eb_pretty_print_cmd.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 32944 by manus, Fri Jul 12 06:20:09 2002 UTC revision 37681 by julieng, Wed Jun 11 23:23:59 2003 UTC
# Line 71  feature -- Access Line 71  feature -- Access
71                          -- Create a new mini toolbar button for this command.                          -- Create a new mini toolbar button for this command.
72                  do                  do
73                          Result := Precursor                          Result := Precursor
74                          Result.drop_actions.extend (~on_stone_dropped)                          Result.drop_actions.extend (agent on_stone_dropped)
75                          Result.drop_actions.set_veto_pebble_function (~accepts_stone)                          Result.drop_actions.set_veto_pebble_function (agent accepts_stone)
76                  end                  end
77    
78  feature -- Status report  feature -- Status report

Legend:
Removed from v.32944  
changed lines
  Added in v.37681

  ViewVC Help
Powered by ViewVC 1.1.23