git://git.nikiroo.be
/
nikiroo-utils.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
clean up threads and timers
[nikiroo-utils.git]
/
src
/
jexer
/
menu
/
TMenu.java
diff --git
a/src/jexer/menu/TMenu.java
b/src/jexer/menu/TMenu.java
index ad8e4acc871bb4cb73ca356e9b92fbc80717341f..ee1af554092ad442adb6b87c8318f15cc9ab1af8 100644
(file)
--- a/
src/jexer/menu/TMenu.java
+++ b/
src/jexer/menu/TMenu.java
@@
-177,7
+177,6
@@
public final class TMenu extends TWindow {
@Override
public void onMouseDown(final TMouseEvent mouse) {
this.mouse = mouse;
@Override
public void onMouseDown(final TMouseEvent mouse) {
this.mouse = mouse;
- setRepaint();
// Pass to children
for (TWidget widget: getChildren()) {
// Pass to children
for (TWidget widget: getChildren()) {
@@
-202,7
+201,6
@@
public final class TMenu extends TWindow {
@Override
public void onMouseUp(final TMouseEvent mouse) {
this.mouse = mouse;
@Override
public void onMouseUp(final TMouseEvent mouse) {
this.mouse = mouse;
- setRepaint();
// Pass to children
for (TWidget widget: getChildren()) {
// Pass to children
for (TWidget widget: getChildren()) {
@@
-227,7
+225,6
@@
public final class TMenu extends TWindow {
@Override
public void onMouseMotion(final TMouseEvent mouse) {
this.mouse = mouse;
@Override
public void onMouseMotion(final TMouseEvent mouse) {
this.mouse = mouse;
- setRepaint();
// See if we should activate a different menu item
for (TWidget widget: getChildren()) {
// See if we should activate a different menu item
for (TWidget widget: getChildren()) {
@@
-306,7
+303,6
@@
public final class TMenu extends TWindow {
// Dispatch the keypress to an active widget
for (TWidget widget: getChildren()) {
if (widget.getActive()) {
// Dispatch the keypress to an active widget
for (TWidget widget: getChildren()) {
if (widget.getActive()) {
- setRepaint();
widget.handleEvent(keypress);
return;
}
widget.handleEvent(keypress);
return;
}