Searched refs:evt (Results 1 - 25 of 33) sorted by relevance

12

/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Dcontext_menu.scala23 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 Dpretty_text_area.scala236 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 Dcompletion_popup.scala265 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 Dsledgehammer_dockable.scala94 override def processKeyEvent(evt: KeyEvent)
96 if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) clicked
97 super.processKeyEvent(evt)
H A Djedit_lib.scala357 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 Dquery_dockable.scala45 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 Ddebugger_dockable.scala235 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 Dcontext_menu.scala23 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 Dpretty_text_area.scala236 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 Dcompletion_popup.scala265 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 Dsledgehammer_dockable.scala94 override def processKeyEvent(evt: KeyEvent)
96 if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) clicked
97 super.processKeyEvent(evt)
H A Djedit_lib.scala357 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 Dquery_dockable.scala45 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 Ddebugger_dockable.scala235 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 DTreeBrowser.java38 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 DGraphView.java73 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 DGraphBrowserFrame.java32 public void actionPerformed(ActionEvent evt) { argument
33 String label = evt.getActionCommand();
/seL4-l4v-master/isabelle/lib/browser/awtUtilities/
H A DTextFrame.java14 public void actionPerformed(ActionEvent evt) { argument
H A DMessageDialog.java18 public void actionPerformed(ActionEvent evt) { argument
19 txt = evt.getActionCommand();
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DTreeBrowser.java38 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 DGraphView.java73 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 DGraphBrowserFrame.java32 public void actionPerformed(ActionEvent evt) { argument
33 String label = evt.getActionCommand();
/seL4-l4v-master/l4v/isabelle/lib/browser/awtUtilities/
H A DTextFrame.java14 public void actionPerformed(ActionEvent evt) { argument
H A DMessageDialog.java18 public void actionPerformed(ActionEvent evt) { argument
19 txt = evt.getActionCommand();
/seL4-l4v-master/isabelle/src/Tools/jEdit/src-base/
H A Dpide_docking_framework.scala63 def actionPerformed(evt: ActionEvent) { detach_operation.get.apply() }

Completed in 88 milliseconds

12