On Linux (especially with gnome shell), the application name isn't set correctly. Currently, it's being set to
This patch sets the window class to "jedit", which tells the window manager to pull the name from jedit.desktop, which is the much friendlier "jEdit".
Patch made with jEdit trunk revision 22411.
Log in to post a comment.