We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a5c3b6e commit 47ebf66Copy full SHA for 47ebf66
3 files changed
app/src/processing/app/Editor.java
@@ -181,7 +181,7 @@ public void windowDeactivated(WindowEvent e) {
181
182
textarea = new JEditTextArea(new PdeTextAreaDefaults());
183
textarea.setRightClickPopup(new TextAreaPopup());
184
- textarea.setHorizontalOffset(6);
+ textarea.setHorizontalOffset(JEditTextArea.leftHandGutter);
185
186
// assemble console panel, consisting of status area and the console itself
187
consolePanel = new JPanel();
app/src/processing/app/WebServer.java
@@ -19,7 +19,7 @@ public class WebServer implements HttpConstants {
19
20
/* Where worker threads stand idle */
21
static Vector threads = new Vector();
22
-
+
23
/* the web server's virtual root */
24
//static File root;
25
0 commit comments