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

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

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

revision 26913 by manus, Sun Aug 12 23:50:20 2001 UTC revision 27143 by etienne, Wed Aug 22 21:10:08 2001 UTC
# Line 477  feature {LINKABLE_FIGURE_GROUP} -- XML Line 477  feature {LINKABLE_FIGURE_GROUP} -- XML
477                                  Result.put_last (xml_node (Result, "WIDTH", old_width.out))                                  Result.put_last (xml_node (Result, "WIDTH", old_width.out))
478                                  Result.put_last (xml_node (Result, "HEIGHT", old_height.out))                                  Result.put_last (xml_node (Result, "HEIGHT", old_height.out))
479                          else                          else
480                                  Result.put_last (xml_node (Result, "WIDTH", width.out))                                  Result.put_last (xml_node (Result, "WIDTH", body_width.out))
481                                  Result.put_last (xml_node (Result, "HEIGHT", height.out))                                  Result.put_last (xml_node (Result, "HEIGHT", body_height.out))
482                          end                          end
483                  end                  end
484    
# Line 592  feature {NONE} -- Implementation Line 592  feature {NONE} -- Implementation
592                  deferred                  deferred
593                  end                  end
594    
595            body_width: INTEGER is
596                            -- width of cluster figure body.
597                    deferred
598                    end
599    
600            body_height: INTEGER is
601                            -- height of cluster figure body.
602                    deferred
603                    end
604    
605  end -- class CLUSTER_FIGURE  end -- class CLUSTER_FIGURE
606    
607    

Legend:
Removed from v.26913  
changed lines
  Added in v.27143

  ViewVC Help
Powered by ViewVC 1.1.23