/seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
H A D | context_menu.scala | 23 def createMenu(text_area: JEditTextArea, evt: MouseEvent): Array[JMenuItem] = 24 if (evt == null) null 29 if (evt != null && evt.getSource == text_area.getPainter) { 30 val offset = text_area.xyToOffset(evt.getX, evt.getY)
|
H A D | pretty_text_area.scala | 236 override def processKeyEvent(evt: KeyEvent, from: Int, global: Boolean) {} 241 key_pressed = (evt: KeyEvent) => 245 val mod = evt.getModifiersEx 250 evt.getKeyCode match { 254 evt.consume 259 evt.consume 262 if (Isabelle.dismissed_popups(view)) evt.consume 266 if (propagate_keys) JEdit_Lib.propagate_key(view, evt) 268 key_typed = (evt: KeyEvent) => 270 if (propagate_keys) JEdit_Lib.propagate_key(view, evt) [all...] |
H A D | completion_popup.scala | 265 override def propagate(evt: KeyEvent) { 267 JEdit_Lib.propagate_key(view, evt) 271 JEdit_Lib.propagate_key(view, evt) 277 if (evt.getID == KeyEvent.KEY_TYPED) input(evt) 346 def input(evt: KeyEvent) 350 if (!evt.isConsumed) { 351 val special = JEdit_Lib.special_key(evt) 355 if (evt.getKeyChar != '\b') { 500 override def propagate(evt [all...] |
H A D | sledgehammer_dockable.scala | 94 override def processKeyEvent(evt: KeyEvent) 96 if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) clicked 97 super.processKeyEvent(evt)
|
H A D | jedit_lib.scala | 357 def propagate_key(view: View, evt: KeyEvent) 359 if (view != null && !evt.isConsumed) 360 view.getInputHandler().processKeyEvent(evt, View.ACTION_BAR, false) 370 val evt = KeyEventWorkaround.processKeyEvent(evt0) 371 if (evt != null) handle(evt) 376 def keyTyped(evt: KeyEvent) { process_key_event(evt, key_typed) } 377 def keyPressed(evt: KeyEvent) { process_key_event(evt, key_presse [all...] |
H A D | query_dockable.scala | 45 override def processKeyEvent(evt: KeyEvent) 47 if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) apply_query() 48 super.processKeyEvent(evt) 254 case evt @ KeyPressed(_, Key.Enter, 0, _) => 255 evt.peer.consume
|
H A D | debugger_dockable.scala | 235 override def processKeyEvent(evt: KeyEvent) 237 if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) 239 super.processKeyEvent(evt) 252 override def processKeyEvent(evt: KeyEvent) 254 if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) 256 super.processKeyEvent(evt)
|
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | context_menu.scala | 23 def createMenu(text_area: JEditTextArea, evt: MouseEvent): Array[JMenuItem] = 24 if (evt == null) null 29 if (evt != null && evt.getSource == text_area.getPainter) { 30 val offset = text_area.xyToOffset(evt.getX, evt.getY)
|
H A D | pretty_text_area.scala | 236 override def processKeyEvent(evt: KeyEvent, from: Int, global: Boolean) {} 241 key_pressed = (evt: KeyEvent) => 245 val mod = evt.getModifiersEx 250 evt.getKeyCode match { 254 evt.consume 259 evt.consume 262 if (Isabelle.dismissed_popups(view)) evt.consume 266 if (propagate_keys) JEdit_Lib.propagate_key(view, evt) 268 key_typed = (evt: KeyEvent) => 270 if (propagate_keys) JEdit_Lib.propagate_key(view, evt) [all...] |
H A D | completion_popup.scala | 265 override def propagate(evt: KeyEvent) { 267 JEdit_Lib.propagate_key(view, evt) 271 JEdit_Lib.propagate_key(view, evt) 277 if (evt.getID == KeyEvent.KEY_TYPED) input(evt) 346 def input(evt: KeyEvent) 350 if (!evt.isConsumed) { 351 val special = JEdit_Lib.special_key(evt) 355 if (evt.getKeyChar != '\b') { 500 override def propagate(evt [all...] |
H A D | sledgehammer_dockable.scala | 94 override def processKeyEvent(evt: KeyEvent) 96 if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) clicked 97 super.processKeyEvent(evt)
|
H A D | jedit_lib.scala | 357 def propagate_key(view: View, evt: KeyEvent) 359 if (view != null && !evt.isConsumed) 360 view.getInputHandler().processKeyEvent(evt, View.ACTION_BAR, false) 370 val evt = KeyEventWorkaround.processKeyEvent(evt0) 371 if (evt != null) handle(evt) 376 def keyTyped(evt: KeyEvent) { process_key_event(evt, key_typed) } 377 def keyPressed(evt: KeyEvent) { process_key_event(evt, key_presse [all...] |
H A D | query_dockable.scala | 45 override def processKeyEvent(evt: KeyEvent) 47 if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) apply_query() 48 super.processKeyEvent(evt) 254 case evt @ KeyPressed(_, Key.Enter, 0, _) => 255 evt.peer.consume
|
H A D | debugger_dockable.scala | 235 override def processKeyEvent(evt: KeyEvent) 237 if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) 239 super.processKeyEvent(evt) 252 override def processKeyEvent(evt: KeyEvent) 254 if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) 256 super.processKeyEvent(evt)
|
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
H A D | TreeBrowser.java | 38 public void mouseEntered(MouseEvent evt) {} argument 40 public void mouseExited(MouseEvent evt) {} argument 42 public void mouseReleased(MouseEvent evt) {} argument 44 public void mousePressed(MouseEvent evt) {} argument
|
H A D | GraphView.java | 73 public void mouseMoved(MouseEvent evt) { argument 74 int x = evt.getX() + gra.min_x; 75 int y = evt.getY() + gra.min_y; 92 public void mouseDragged(MouseEvent evt) {} argument 203 public void mouseClicked(MouseEvent evt) { argument 206 int x = evt.getX() + gra.min_x; 207 int y = evt.getY() + gra.min_y; 252 if (evt.getWhen()-timestamp < 400 && !(v.getPath().equals(""))) 254 timestamp=evt.getWhen(); 259 public void mouseExited(MouseEvent evt) { argument 271 mouseEntered(MouseEvent evt) argument 273 mousePressed(MouseEvent evt) argument 275 mouseReleased(MouseEvent evt) argument [all...] |
H A D | GraphBrowserFrame.java | 32 public void actionPerformed(ActionEvent evt) { argument 33 String label = evt.getActionCommand();
|
/seL4-l4v-master/isabelle/lib/browser/awtUtilities/ |
H A D | TextFrame.java | 14 public void actionPerformed(ActionEvent evt) { argument
|
H A D | MessageDialog.java | 18 public void actionPerformed(ActionEvent evt) { argument 19 txt = evt.getActionCommand();
|
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | TreeBrowser.java | 38 public void mouseEntered(MouseEvent evt) {} argument 40 public void mouseExited(MouseEvent evt) {} argument 42 public void mouseReleased(MouseEvent evt) {} argument 44 public void mousePressed(MouseEvent evt) {} argument
|
H A D | GraphView.java | 73 public void mouseMoved(MouseEvent evt) { argument 74 int x = evt.getX() + gra.min_x; 75 int y = evt.getY() + gra.min_y; 92 public void mouseDragged(MouseEvent evt) {} argument 203 public void mouseClicked(MouseEvent evt) { argument 206 int x = evt.getX() + gra.min_x; 207 int y = evt.getY() + gra.min_y; 252 if (evt.getWhen()-timestamp < 400 && !(v.getPath().equals(""))) 254 timestamp=evt.getWhen(); 259 public void mouseExited(MouseEvent evt) { argument 271 mouseEntered(MouseEvent evt) argument 273 mousePressed(MouseEvent evt) argument 275 mouseReleased(MouseEvent evt) argument [all...] |
H A D | GraphBrowserFrame.java | 32 public void actionPerformed(ActionEvent evt) { argument 33 String label = evt.getActionCommand();
|
/seL4-l4v-master/l4v/isabelle/lib/browser/awtUtilities/ |
H A D | TextFrame.java | 14 public void actionPerformed(ActionEvent evt) { argument
|
H A D | MessageDialog.java | 18 public void actionPerformed(ActionEvent evt) { argument 19 txt = evt.getActionCommand();
|
/seL4-l4v-master/isabelle/src/Tools/jEdit/src-base/ |
H A D | pide_docking_framework.scala | 63 def actionPerformed(evt: ActionEvent) { detach_operation.get.apply() }
|