Changeset 10141


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

pageDownInternal(): removed unused local variables.

File:
1 edited

Legend:

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

    r9597 r10141  
    33 *
    44 * Copyright (C) 1998-2005 Peter Graves
    5  * $Id: Editor.java,v 1.152 2005-07-06 23:35:16 piso Exp $
     5 * $Id: Editor.java,v 1.153 2005-10-17 22:20:56 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    26942694    {
    26952695        Debug.assertTrue(buffer.needsRenumbering == false);
    2696 
    2697         int topLineNumber = display.getTopLineNumber();
    26982696        Line dotLine = getDotLine();
    2699         int dotLineNumber = dot.lineNumber();
    27002697        int numRows = display.getRows();
    2701 
    27022698        Line[] lines = new Line[numRows];
    27032699        Line line = getTopLine();
     
    27112707        }
    27122708        Line bottomLine = lines[numRows - 1];
    2713 
    27142709        if (bottomLine == null) {
    27152710            // We're on the last page already.
     
    27262721            return;
    27272722        }
    2728 
    27292723        // Not on last page.
    27302724        display.setTopLine(bottomLine);
    27312725        setUpdateFlag(REPAINT);
    2732 
    27332726        if (dotRow >= 0) {
    27342727            line = getTopLine();
Note: See TracChangeset for help on using the changeset viewer.