Warning: session_start(): open(/var/lib/php/sessions/sess_aisuemm2e1j1cqdcc4427ffos6, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
sclass ImageSurfaceDragger extends MouseAdapter {
ImageSurface is;
int dx, dy;
*(ImageSurface *is) {
if (containsInstance(is.tools, ImageSurfaceDragger)) ret;
ifclass main$ImageSurfaceSelector
removeInstances(is.tools, ImageSurfaceSelector);
endif
is.tools.add(this);
is.addMouseListener(this);
is.addMouseMotionListener(this);
}
public void mousePressed(MouseEvent e) {
if (e.getButton() == MouseEvent.BUTTON1) {
Pt p = is.pointFromEvent(e);
dx = p.x-is.getX();
dy = p.y-is.getY();
}
}
public void mouseDragged(MouseEvent e) {
JScrollPane sp = enclosingScrollPane(is);
if (sp == null) ret;
Pt p = is.pointFromEvent(e);
sp.getHorizontalScrollBar().setValue(p.x-dx);
sp.getVerticalScrollBar().setValue(p.y-dy);
}
public void mouseReleased(MouseEvent e) {
mouseDragged(e);
}
}