Searched refs:RIGHT_BUTTON_MASK (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DMouseViewletMenuUpPopper.java39 private static final int RIGHT_BUTTON_MASK = InputEvent.BUTTON3_MASK; field in class:MouseViewletMenuUpPopper
52 if((e.getModifiers() & RIGHT_BUTTON_MASK) == RIGHT_BUTTON_MASK) {

Completed in 42 milliseconds