FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

implementing alternate footer that works like our header · Bryce-Summers/processing@6de5140 · GitHub

Repository navigation

Commit 6de5140

Browse files
committed
implementing alternate footer that works like our header
1 parent ee3e20b commit 6de5140

9 files changed

Lines changed: 161 additions & 462 deletions

File tree

‎app/src/processing/app/Editor.java‎

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -246,7 +246,7 @@ public void paintComponent(Graphics g) {
246246
textarea.setRightClickPopup(new TextAreaPopup());
247247
textarea.setHorizontalOffset(JEditTextArea.leftHandGutter);
248248

249-
consolePanel = createConsolePanel();
249+
consolePanel = createFooter();
250250

251251
upper.add(textarea);
252252

@@ -417,7 +417,10 @@ public void processKeyEvent(KeyEvent evt) {
417417
}
418418

419419

420-
public Container createConsolePanel() {
420+
public Container createFooter() {
421+
return new EditorConsole(this);
422+
423+
/*
421424
// assemble console panel, consisting of status area and the console itself
422425
JPanel panel = new JPanel();
423426
panel.setLayout(new BorderLayout());
@@ -433,6 +436,7 @@ public Container createConsolePanel() {
433436
// lineStatus = new EditorLineStatus(this);
434437
// consolePanel.add(lineStatus, BorderLayout.SOUTH);
435438
return panel;
439+
*/
436440
}
437441

438442

‎app/src/processing/app/EditorButton.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -137,7 +137,7 @@ public void paintComponent(Graphics g) {
137137

138138

139139
public void setReverse() {
140-
gradient = mode.getGradient("reversed", DIM, DIM);
140+
gradient = mode.makeGradient("reversed", DIM, DIM);
141141
}
142142

143143

‎app/src/processing/app/EditorConsole.java‎

Lines changed: 12 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -167,19 +167,24 @@ public void actionPerformed(ActionEvent evt) {
167167
}
168168
}
169169
}).start();
170+
171+
// windows puts an ugly border on this guy
172+
setBorder(null);
170173
}
171174

175+
172176
public PrintStream getOut() {
173177
return sketchOut;
174178
}
175179

180+
176181
public PrintStream getErr() {
177182
return sketchErr;
178183
}
179184

180185

181-
/**
182-
* Update the font family and sizes based on the Preferences window.
186+
/**
187+
* Update the font family and sizes based on the Preferences window.
183188
*/
184189
protected void updateAppearance() {
185190
String fontFamily = Preferences.get("editor.font.family");
@@ -190,8 +195,8 @@ protected void updateAppearance() {
190195
StyleConstants.setFontSize(errStyle, fontSize);
191196
clear(); // otherwise we'll have mixed fonts
192197
}
193-
194-
198+
199+
195200
/**
196201
* Change coloring, fonts, etc in response to a mode change.
197202
*/
@@ -291,12 +296,12 @@ synchronized public void message(String what, boolean err) {
291296
// Java on Mac OS X, but is widely reported as the source of any other
292297
// bug or problem that a user runs into. It may well be a Processing
293298
// bug, but until we know, we're suppressing the messages.
294-
} else if (err && what.contains("Make pbuffer:")) {
299+
} else if (err && what.contains("Make pbuffer:")) {
295300
// Remove initalization warning from LWJGL.
296301
} else if (err && what.contains("XInitThreads() called for concurrent")) {
297302
// "Info: XInitThreads() called for concurrent Thread support" message on Linux
298303
} else if (!err && what.contains("Listening for transport dt_socket at address")) {
299-
// Message from the JVM about the socket launch for debug
304+
// Message from the JVM about the socket launch for debug
300305
// Listening for transport dt_socket at address: 8727
301306
} else {
302307
// Append a piece of text to the console. Swing components are NOT
@@ -350,7 +355,7 @@ public void write(byte b[], int offset, int length) {
350355
currentConsole.message(new String(b, offset, length), err);
351356
} else {
352357
// If no console is present, still need to write this to the actual
353-
// System.out or System.err. Otherwise we can't !#$!% debug anything.
358+
// System.out or System.err. Otherwise we can't !#$!% debug anything.
354359
if (err) {
355360
systemErr.write(b, offset, length);
356361
} else {

0 commit comments

Comments
 (0)

Back | FazBrowse Home | New Git URL