lib/browser/GraphBrowser/DefaultFontMetrics.java
changeset 13970 4aef7117817b
parent 13968 689868b99bde
child 14981 e73f8140af78
equal deleted inserted replaced
13969:3aa8c0bb3080 13970:4aef7117817b
     3   ID:         $Id$
     3   ID:         $Id$
     4   Author:     Stefan Berghofer, TU Muenchen
     4   Author:     Stefan Berghofer, TU Muenchen
     5   License:    GPL (GNU GENERAL PUBLIC LICENSE)
     5   License:    GPL (GNU GENERAL PUBLIC LICENSE)
     6 
     6 
     7   Default font metrics which is used when no graphics context
     7   Default font metrics which is used when no graphics context
     8   is available.
     8   is available (batch mode).
     9 ***************************************************************************/
     9 ***************************************************************************/
    10 
    10 
    11 package GraphBrowser;
    11 package GraphBrowser;
    12 
    12 
    13 public class DefaultFontMetrics implements AbstractFontMetrics {
    13 public class DefaultFontMetrics implements AbstractFontMetrics {