From b97d0bf9d04d8b18255da8a09e3c230fd4cae7ae Mon Sep 17 00:00:00 2001 From: benfry Date: Thu, 26 Jul 2001 17:37:54 +0000 Subject: [PATCH] full screen toggle works --- processing/app/PdeEditor.java | 7 ++++++- processing/app/PdeEditorButtons.java | 14 ++++++++++++-- 2 files changed, 18 insertions(+), 3 deletions(-) diff --git a/processing/app/PdeEditor.java b/processing/app/PdeEditor.java index 8211c7f21..0221e78e6 100644 --- a/processing/app/PdeEditor.java +++ b/processing/app/PdeEditor.java @@ -504,12 +504,17 @@ public class PdeEditor extends Panel implements PdeEnvironment { fullScreenWindow.setBounds(0, 0, screen.width, screen.height); fullScreenWindow.setBackground(new Color(102, 102, 102)); fullScreenWindow.show(); - buttons.clear(); + // not sure what to do with applet.. + // (since i can't bring the browser window to the front) + // unless there's a method in AppletContext if (frame != null) frame.toFront(); + + buttons.clear(); } public void disableFullScreen() { + fullScreenWindow.hide(); buttons.clear(); } diff --git a/processing/app/PdeEditorButtons.java b/processing/app/PdeEditorButtons.java index 71df51960..7b584afbb 100644 --- a/processing/app/PdeEditorButtons.java +++ b/processing/app/PdeEditorButtons.java @@ -287,8 +287,18 @@ public class PdeEditorButtons extends Panel { case PRINT: editor.doPrint(); break; case BEAUTIFY: editor.doBeautify(); break; - case FULL_SCREEN: editor.enableFullScreen(); break; - case DISABLE_FULL_SCREEN: editor.disableFullScreen(); break; + case FULL_SCREEN: + editor.enableFullScreen(); + //editor.messageClear(title[which[buttonCount-1]]); + which[buttonCount-1] = DISABLE_FULL_SCREEN; + editor.message(title[which[buttonCount-1]]); + break; + case DISABLE_FULL_SCREEN: + editor.disableFullScreen(); + //editor.messageClear(title[which[buttonCount-1]]); + which[buttonCount-1] = FULL_SCREEN; + editor.message(title[which[buttonCount-1]]); + break; } //update(); return true;