Startup Scripts
Beanshell scripts that run when jEdit starts
Boot Notification (boot_notification.bsh v1.1 by Claudio Vicari)
Submitted by on Monday, 18 April, 2005 - 14:27
This startup script displays a small dialog for a little while, in order to notify the user that jedit has started.
I use it as a replacement for the plain splash screen, because it starts only at the very end of the startup process. Useful when you are used to start jedit in background at logon (-background -nogui options), in order to access the editor quickly later on.
Updated on 11/12/2007 - 17:15
Downloads: 2120
My_Theme.bsh (mytheme.bsh v1.0 by Delvin Johnson)
Submitted by on Tuesday, 11 October, 2005 - 22:24
This example shows how to create a custom MetalTheme for jedit. Save in .jedit/startup.
Updated on 10/11/2005 - 22:24
Downloads: 1711
Tweak GUI startup script (tweak-gui.bsh v1.1 by Brad Mace)
Submitted by on Tuesday, 16 December, 2003 - 23:29
Changes some GUI properties to be more compact, with less wasted space. it'd shouldn't be hard to adjust this script to taste.
Updated on 12/16/2003 - 23:31
Downloads: 2925
There are 480 downloads in our database
