To set X11 window class to jedit which will make it more window manager friendly
// Set X11 WMCLASS to some meaningful value
if (OperatingSystem.isX11())
{
try {
Toolkit xToolkit = Toolkit.getDefaultToolkit();
java.lang.reflect.Field awtAppClassNameField = xToolkit.getClass().getDeclaredField("awtAppClassName");
awtAppClassNameField.setAccessible(true);
awtAppClassNameField.set(xToolkit, System.getProperty("x11.class", "jedit"));
} catch(Exception e) {
System.err.println("error setting WMCLASS");
e.printStackTrace();
}
}
This is not an actual patch, just a suggestion of some code to add. but it needs to be added to the correct places of the current SVN of jEdit, and then reviewed, and then applied. This is not a complete patch. However it is a very good idea! And I'd like to see someone put it in the right places (is it only when jEdit creates dockable windows and views, or anywhere else?)
Yes, at the time i was not sure and not familiar with jEdit, just wanted to start using it and inability to be managed by window manager was the biggest problem. Currently i am using it under cairo-dock/compiz/emerald, it is working great. I agree, it needs to be added to proper place, just not sure where that might be.
moving to feature requests.
This got added 2 years ago