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

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

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

revision 62170 by manus, Sun Jul 30 06:15:19 2006 UTC revision 62171 by larryl, Tue Aug 1 01:27:17 2006 UTC
# Line 62  feature -- Basic operations Line 62  feature -- Basic operations
62                                          else                                          else
63                                                  dial.set_file_name (tool.cluster_graph.center_cluster.name + ".png")                                                  dial.set_file_name (tool.cluster_graph.center_cluster.name + ".png")
64                                          end                                          end
65                                          dial.show_modal_to_window (tool.development_window.window)                                          dial.show_modal_to_window (tool.develop_window.window)
66                                          if not dial.file_name.is_empty then                                          if not dial.file_name.is_empty then
67                                                  error := 1                                                  error := 1
68                                                  p := tool.projector.world_as_pixmap (5)                                                  p := tool.projector.world_as_pixmap (5)
# Line 72  feature -- Basic operations Line 72  feature -- Basic operations
72                                                          if test_file.is_writable then                                                          if test_file.is_writable then
73                                                                  test_file.close                                                                  test_file.close
74                                                                  create png_format                                                                  create png_format
75                                                                  tool.development_window.window.set_pointer_style (tool.Default_pixmaps.Wait_cursor)                                                                  tool.develop_window.window.set_pointer_style (tool.Default_pixmaps.Wait_cursor)
76                                                                  p.save_to_named_file (png_format, png_file)                                                                  p.save_to_named_file (png_format, png_file)
77                                                                  tool.development_window.window.set_pointer_style (tool.Default_pixmaps.Standard_cursor)                                                                  tool.develop_window.window.set_pointer_style (tool.Default_pixmaps.Standard_cursor)
78                                                                  error := 0                                                                  error := 0
79                                                          else                                                          else
80                                                                  test_file.close                                                                  test_file.close
# Line 87  feature -- Basic operations Line 87  feature -- Basic operations
87                                          elseif error = 2 then                                          elseif error = 2 then
88                                                  create wd.make_with_text (Warning_messages.W_cannot_generate_png)                                                  create wd.make_with_text (Warning_messages.W_cannot_generate_png)
89                                          end                                          end
90                                          wd.show_modal_to_window (tool.development_window.window)                                          wd.show_modal_to_window (tool.develop_window.window)
91                                  end                                  end
92                          end                          end
93                  rescue                  rescue
# Line 96  feature -- Basic operations Line 96  feature -- Basic operations
96                          else                          else
97                                  error := 1                                  error := 1
98                          end                          end
99                          tool.development_window.window.set_pointer_style (tool.Default_pixmaps.Standard_cursor)                          tool.develop_window.window.set_pointer_style (tool.Default_pixmaps.Standard_cursor)
100                          retry                          retry
101                  end                  end
102    
# Line 106  feature -- Basic operations Line 106  feature -- Basic operations
106                          Result := pixmaps.icon_pixmaps.diagram_export_to_png_icon                          Result := pixmaps.icon_pixmaps.diagram_export_to_png_icon
107                  end                  end
108    
109            pixel_buffer: EV_PIXEL_BUFFER is
110                            -- Pixel buffer representing the command.
111                    do
112                            -- Currently there is no pixel buffer for this command.
113                    end
114                    
115          tooltip: STRING is          tooltip: STRING is
116                          -- Tooltip for the toolbar button.                          -- Tooltip for the toolbar button.
117                  do                  do

Legend:
Removed from v.62170  
changed lines
  Added in v.62171

  ViewVC Help
Powered by ViewVC 1.1.23