This example shows how to create a custom MetalTheme for jedit. Save in .jedit/startup.

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.

Changes some GUI properties to be more compact, with less wasted space. it'd shouldn't be hard to adjust this script to taste.