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

fix hanging external editor preference (issue #1355)

Browse Source
This commit is contained in:
benfry
2012-11-02 12:00:13 +00:00
parent 596e7d47d7
commit ab7a0d4422
1 changed files with 0 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
app/src/processing/mode/java/PdeKeyListener.java
View File

@@ -52,16 +52,6 @@ public class PdeKeyListener {
private Editor editor;
private JEditTextArea textarea;
// private boolean externalEditor;
// private boolean tabsExpand;
//// private boolean tabsIndent;
// private int tabSize;
// private String tabString;
// private boolean autoIndent;
// private int selectionStart, selectionEnd;
// private int position;
/** ctrl-alt on windows and linux, cmd-alt on mac os x */
static final int CTRL_ALT = ActionEvent.ALT_MASK |
Toolkit.getDefaultToolkit().getMenuShortcutKeyMask();
@@ -73,20 +63,9 @@ public class PdeKeyListener {
// let him know that i'm leechin'
textarea.editorListener = this;
// applyPreferences();
}
// public void applyPreferences() {
// tabsExpand = Preferences.getBoolean("editor.tabs.expand");
// tabSize = Preferences.getInteger("editor.tabs.size");
// tabString = spaces(tabSize);
// autoIndent = Preferences.getBoolean("editor.indent");
// externalEditor = Preferences.getBoolean("editor.external");
// }
/**
* Intercepts key pressed events for JEditTextArea.
* <p/>
@@ -96,20 +75,9 @@ public class PdeKeyListener {
* @return true if the event has been handled (to remove it from the queue)
*/
public boolean keyPressed(KeyEvent event) {
// don't do things if the textarea isn't editable
if (Preferences.getBoolean("editor.external")) return false;
//deselect(); // this is for paren balancing
char c = event.getKeyChar();
int code = event.getKeyCode();
// if (code == KeyEvent.VK_SHIFT) {
// editor.toolbar.setShiftPressed(true);
// }
//System.out.println((int)c + " " + code + " " + event);
//System.out.println();
Sketch sketch = editor.getSketch();
if ((event.getModifiers() & CTRL_ALT) == CTRL_ALT) {