@@ -756,9 +756,13 @@ class Console implements CaretListener, HyperlinkListener, ComponentListener, Fo
756756 prefs. putBoolean(' autoClearOutput' , autoClearOutput)
757757 }
758758
759+ /* * @since 6.0.0 */
759760 void lightTheme (EventObject evt = null ) { switchTheme(ThemeManager.ThemeMode . LIGHT ) }
761+ /* * @since 6.0.0 */
760762 void darkTheme (EventObject evt = null ) { switchTheme(ThemeManager.ThemeMode . DARK ) }
763+ /* * @since 6.0.0 */
761764 void systemTheme (EventObject evt = null ) { switchTheme(ThemeManager.ThemeMode . SYSTEM ) }
765+ /* * @since 6.0.0 */
762766 void cycleTheme (EventObject evt = null ) { switchTheme(ThemeManager . cycleMode()) }
763767
764768 private void switchTheme (ThemeManager.ThemeMode mode ) {
@@ -1271,17 +1275,24 @@ class Console implements CaretListener, HyperlinkListener, ComponentListener, Fo
12711275 lf. visible = true
12721276 }
12731277
1278+ /* * @since 6.0.0 */
12741279 boolean isScaleIconsWithFont () { prefs. getBoolean(' scaleIconsWithFont' , false ) }
1280+ /* * @since 6.0.0 */
12751281 int getCurrentIconSize () { Icons . currentSize }
12761282
1283+ /* * @since 6.0.0 */
12771284 void smallIcons (EventObject evt = null ) { applyIconSize(Icons . SIZE_SMALL ) }
1285+ /* * @since 6.0.0 */
12781286 void normalIcons (EventObject evt = null ) { applyIconSize(Icons . SIZE_NORMAL ) }
1287+ /* * @since 6.0.0 */
12791288 void largeIcons (EventObject evt = null ) { applyIconSize(Icons . SIZE_LARGE ) }
12801289
1290+ /* * @since 6.0.0 */
12811291 void scaleIconsWithFont (EventObject evt = null ) {
12821292 setScaleIconsWithFont(evt?. source?. isSelected() as boolean )
12831293 }
12841294
1295+ /* * @since 6.0.0 */
12851296 void setScaleIconsWithFont (boolean enabled ) {
12861297 prefs. putBoolean(' scaleIconsWithFont' , enabled)
12871298 if (enabled) {
@@ -1291,6 +1302,7 @@ class Console implements CaretListener, HyperlinkListener, ComponentListener, Fo
12911302 }
12921303 }
12931304
1305+ /* * @since 6.0.0 */
12941306 void applyIconSize (int size ) {
12951307 // only persist the preset when not tracking the font
12961308 if (! prefs. getBoolean(' scaleIconsWithFont' , false )) {
@@ -1301,10 +1313,12 @@ class Console implements CaretListener, HyperlinkListener, ComponentListener, Fo
13011313 toolbar?. repaint()
13021314 }
13031315
1316+ /* * @since 6.0.0 */
13041317 void reapplyTheme () {
13051318 switchTheme(ThemeManager . currentMode)
13061319 }
13071320
1321+ /* * @since 6.0.0 */
13081322 void reloadThemes () {
13091323 ThemeManager . reloadThemes()
13101324 reapplyTheme()
@@ -1541,6 +1555,7 @@ void largerFont(EventObject evt = null) {
15411555 binding. variables. _outputTransforms = OutputTransforms . loadOutputTransforms()
15421556 }
15431557
1558+ /* * @since 6.0.0 */
15441559 void setScriptArgs (EventObject evt = null ) {
15451560 def result = JOptionPane . showInputDialog(frame, ' Enter script arguments (space-separated):' ,
15461561 ' Set Script Arguments' , JOptionPane . PLAIN_MESSAGE , null , null , scriptArgs)
0 commit comments