/[eiffelstudio]/branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/case_tool/eiffel_view/eiffel_world.e
ViewVC logotype

Diff of /branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/case_tool/eiffel_view/eiffel_world.e

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

revision 62170 by manus, Sun Jul 30 06:25:41 2006 UTC revision 62171 by larryl, Tue Aug 1 01:27:17 2006 UTC
# Line 104  feature -- Status report Line 104  feature -- Status report
104    
105  feature -- Access  feature -- Access
106    
107          context_editor: EB_CONTEXT_EDITOR          context_editor: EB_DIAGRAM_TOOL
108                          -- Context showing `Current'.                          -- Context showing `Current'.
109    
110          model: ES_GRAPH          model: ES_GRAPH
# Line 466  feature -- Element change. Line 466  feature -- Element change.
466                          end                          end
467                  end                  end
468    
469  feature {EB_CONTEXT_EDITOR} -- Status settings  feature {EB_DIAGRAM_TOOL} -- Status settings
470    
471          show_anchors is          show_anchors is
472                          -- Show all anchors of fixed linkable figures.                          -- Show all anchors of fixed linkable figures.
# Line 491  feature {EB_CHANGE_COLOR_COMMAND, EB_DEL Line 491  feature {EB_CHANGE_COLOR_COMMAND, EB_DEL
491                          end                          end
492                  end                  end
493    
494  feature {EB_CONTEXT_EDITOR} -- Legend  feature {EB_DIAGRAM_TOOL} -- Legend
495    
496          cluster_legend: EIFFEL_CLUSTER_LEGEND          cluster_legend: EIFFEL_CLUSTER_LEGEND
497                          -- Legend of clusters and colors.                          -- Legend of clusters and colors.
# Line 712  feature -- Store/Retrive Line 712  feature -- Store/Retrive
712                                                  --context_editor.development_window.status_bar.progress_bar.reset_with_range (0 |..| 0)                                                  --context_editor.development_window.status_bar.progress_bar.reset_with_range (0 |..| 0)
713                                                  nb_of_tags := xml_routines.number_of_tags (view_input)                                                  nb_of_tags := xml_routines.number_of_tags (view_input)
714                                                  --context_editor.progress_dialog.start (nb_of_tags)                                                  --context_editor.progress_dialog.start (nb_of_tags)
715                                                  context_editor.development_window.status_bar.reset_progress_bar_with_range (0 |..| nb_of_tags)                                                  context_editor.develop_window.status_bar.reset_progress_bar_with_range (0 |..| nb_of_tags)
716                                                  --context_editor.progress_dialog.set_degree ("Loading:")                                                  --context_editor.progress_dialog.set_degree ("Loading:")
717                                                  xml_routines.valid_tag_read_actions.extend (agent on_valid_tag_read)                                                  xml_routines.valid_tag_read_actions.extend (agent on_valid_tag_read)
718                                          end                                          end
# Line 798  feature -- Store/Retrive Line 798  feature -- Store/Retrive
798                          Precursor {EG_FIGURE_WORLD} (node)                          Precursor {EG_FIGURE_WORLD} (node)
799                  end                  end
800    
801  feature {EB_CONTEXT_EDITOR} -- Statistic  feature {EB_DIAGRAM_TOOL} -- Statistic
802    
803          set_last_draw_time (ms: INTEGER) is          set_last_draw_time (ms: INTEGER) is
804                          -- Set time needed for draw.                          -- Set time needed for draw.
# Line 1428  feature {NONE} -- Implementation Line 1428  feature {NONE} -- Implementation
1428                  local                  local
1429                          lpd: EB_PERCENT_PROGRESS_BAR                          lpd: EB_PERCENT_PROGRESS_BAR
1430                  do                  do
1431                          lpd := context_editor.development_window.status_bar.progress_bar                          lpd := context_editor.develop_window.status_bar.progress_bar
1432                          if lpd /= Void then                          if lpd /= Void then
1433                                  if lpd.value < lpd.range.upper then                                  if lpd.value < lpd.range.upper then
1434                                          lpd.set_value (lpd.value + 1)                                          lpd.set_value (lpd.value + 1)

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

  ViewVC Help
Powered by ViewVC 1.1.23