Changeset 10142


Ignore:
Timestamp:
10/17/05 22:23:49 (16 years ago)
Author:
piso
Message:

Removed unused code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/j/src/org/armedbear/j/Display.java

    r8529 r10142  
    33 *
    44 * Copyright (C) 1998-2005 Peter Graves
    5  * $Id: Display.java,v 1.18 2005-02-10 17:54:05 piso Exp $
     5 * $Id: Display.java,v 1.19 2005-10-17 22:23:49 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    6969
    7070    private static Font gutterFont;
    71     private static int gutterCharAscent;
    7271    private static int gutterCharWidth;
    73 
    74     private static boolean showGutterBorder = true;
    75 
    76     private static int leftMargin;
    7772
    7873    private final HashMap changedLines = new HashMap();
     
    147142        minCharWidth = getMinCharWidth(fm);
    148143
    149         leftMargin = charWidth;
    150 
    151144        fm = Toolkit.getDefaultToolkit().getFontMetrics(boldFont);
    152145
     
    193186
    194187        fm = Toolkit.getDefaultToolkit().getFontMetrics(gutterFont);
    195         gutterCharAscent = fm.getAscent();
    196188        gutterCharWidth = fm.charWidth('0');
    197189
     
    11171109
    11181110    private void handleSelection(Region r, Line line, int[] formatArray,
    1119         Graphics2D g2d, int y)
     1111                                 Graphics2D g2d, int y)
    11201112    {
    11211113        if (r == null)
     
    11231115
    11241116        int maxCols = getMaxCols();
    1125         int fillHeight = charHeight;
    11261117        int fillWidth = 0;
    11271118        int beginCol = 0;
Note: See TracChangeset for help on using the changeset viewer.