Changeset 8529


Ignore:
Timestamp:
02/10/05 17:54:05 (16 years ago)
Author:
piso
Message:

scrollPixelsUp(), scrollPixelsDown(): editor.getFrame() => editor (change
requested by Guillaume Desnoix for JDistro)

File:
1 edited

Legend:

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

    r6415 r8529  
    22 * Display.java
    33 *
    4  * Copyright (C) 1998-2004 Peter Graves
    5  * $Id: Display.java,v 1.17 2004-04-01 18:48:42 piso Exp $
     4 * Copyright (C) 1998-2005 Peter Graves
     5 * $Id: Display.java,v 1.18 2005-02-10 17:54:05 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    12961296    private void scrollPixelsUp(int dy)
    12971297    {
    1298         Point pt1 = editor.getFrame().getLocationOnScreen();
     1298        Point pt1 = editor.getLocationOnScreen();
    12991299        Point pt2 = getLocationOnScreen();
    13001300        int x = pt2.x - pt1.x;
    13011301        int y = pt2.y - pt1.y;
    1302         editor.getFrame().getGraphics().copyArea(x, y, getWidth(),
    1303             getHeight() - dy, 0, dy);
     1302        editor.getGraphics().copyArea(x, y, getWidth(), getHeight() - dy, 0, dy);
    13041303    }
    13051304
     
    13071306    private void scrollPixelsDown(int dy)
    13081307    {
    1309         Point pt1 = editor.getFrame().getLocationOnScreen();
     1308        Point pt1 = editor.getLocationOnScreen();
    13101309        Point pt2 = getLocationOnScreen();
    13111310        int x = pt2.x - pt1.x;
    13121311        int y = pt2.y - pt1.y + dy;
    1313         editor.getFrame().getGraphics().copyArea(x, y, getWidth(),
    1314             getHeight() - dy, 0, - dy);
     1312        editor.getGraphics().copyArea(x, y, getWidth(), getHeight() - dy, 0, - dy);
    13151313    }
    13161314
Note: See TracChangeset for help on using the changeset viewer.