Parent Directory | Revision Log | Patch
revision 1.7 by benja, Sun Sep 29 14:53:45 2002 UTC | revision 1.8 by benja, Tue Oct 1 13:06:10 2002 UTC | |
---|---|---|
# | Line 79 String rcsid = "$Id$"; | Line 79 String rcsid = "$Id$"; |
79 | public void setPrev(HBox b) { } | public void setPrev(HBox b) { } |
80 | } | } |
81 | ||
82 | Object WH_KEY = new Object(); | public Object WH_KEY = new Object(); |
83 | /** A useful base class for hboxes that are vobs. | /** A useful base class for hboxes that are vobs. |
84 | * The second coordsys will contain the width and height for this vob. | * The second coordsys will contain the width and height for this vob. |
85 | */ | */ |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |