163 |
% views.length; |
% views.length; |
164 |
else if(s.equals("PgDown")) // next view wanted |
else if(s.equals("PgDown")) // next view wanted |
165 |
viewcur = (viewcur+1) % views.length; |
viewcur = (viewcur+1) % views.length; |
166 |
|
else if(s.equals("Ctrl-Q")) |
167 |
|
System.exit(0); |
168 |
|
|
169 |
AbstractUpdateManager.chg(); |
AbstractUpdateManager.chg(); |
170 |
} |
} |
171 |
public void mouse(MouseEvent m) {} |
public void mouse(MouseEvent m) {} |
172 |
public void setScreen(Screen s) {} |
public void setScreen(Screen s) {} |
173 |
public void timeout(Object id) {} |
public void timeout(Object id) {} |
174 |
public void windowClosed() {} |
public void windowClosed() { |
175 |
|
System.exit(0); |
176 |
|
} |
177 |
}; |
}; |
178 |
|
|
179 |
api.startUpdateManager(new Runnable() { |
api.startUpdateManager(new Runnable() { |