eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-02-13 18:35:37 +01:00
Code Issues Packages Projects Releases Wiki Activity

completion list now hidden on hitting space

Browse Source
This commit is contained in:
Manindra Moharana
2013-09-16 21:16:09 +05:30
parent 919015c22a
commit 495ed6856b
2 changed files with 20 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
pdex/src/processing/mode/experimental/CompletionPanel.java
View File

@@ -84,7 +84,7 @@ public class CompletionPanel {
public void mouseClicked(MouseEvent e) {
if (e.getClickCount() == 2) {
insertSelection();
hideSuggestion();
hide();
}
}
});
@@ -137,12 +137,12 @@ public class CompletionPanel {
} catch (BadLocationException e1) {
e1.printStackTrace();
}
hideSuggestion();
hide();
}
return false;
}
public void hideSuggestion() {
public void hide() {
popupMenu.setVisible(false);
log("Suggestion hidden" + System.nanoTime());
//textarea.errorCheckerService.getASTGenerator().jdocWindowVisible(false);

33
pdex/src/processing/mode/experimental/TextArea.java
View File

@@ -173,11 +173,18 @@ public class TextArea extends JEditTextArea {
case KeyEvent.VK_BACK_SPACE:
log("BK Key");
break;
case KeyEvent.VK_SPACE:
if (suggestion != null)
if (suggestion.isVisible()) {
log("Space bar, hide completion list");
suggestion.hide();
}
break;
default:
break;
}
}
super.processKeyEvent(evt);
super.processKeyEvent(evt);
if (evt.getID() == KeyEvent.KEY_TYPED) {
final KeyEvent evt2 = evt;
@@ -259,20 +266,14 @@ public class TextArea extends JEditTextArea {
}
}
private String fetchPhrase(KeyEvent evt) {
if (evt != null) {
char keyChar = evt.getKeyChar();
if (keyChar == KeyEvent.VK_ENTER) {
//log("Enter keypress.");
return null;
}
// if (keyChar == KeyEvent.VK_BACK_SPACE || keyChar == KeyEvent.VK_DELETE)
// ; // accepted these keys
else if (keyChar == KeyEvent.VK_ESCAPE) {
//log("ESC keypress. fetchPhrase()");
return null;
} else if (keyChar == KeyEvent.VK_TAB || keyChar == KeyEvent.CHAR_UNDEFINED) {
return null;
}
char keyChar = evt.getKeyChar();
if (keyChar == KeyEvent.VK_ENTER) {
return null;
} else if (keyChar == KeyEvent.VK_ESCAPE) {
return null;
} else if (keyChar == KeyEvent.VK_SPACE || keyChar == KeyEvent.VK_TAB
|| keyChar == KeyEvent.CHAR_UNDEFINED) {
return null;
}
int off = getCaretPosition();
log2("off " + off);
@@ -741,7 +742,7 @@ public class TextArea extends JEditTextArea {
private void hideSuggestion() {
if (suggestion != null) {
suggestion.hideSuggestion();
suggestion.hide();
suggestion = null;
}
}