Hello Robert,

I found the error, why the Separator-button didn't work:

In the method private JPanel createMenuPanel()
these two lines does not make sense for the JButton and can be removed:

separator.setTransferHandler(new SeparatorTransferHandler());
separator.addMouseListener(new SeparatorMouseListener());

The button has already the event public void actionPerformed(ActionEvent e) and this calls the insertSeparator() method.

I now add this as patch to the bugtracker and try if I can commit it in the sourceforge-plugins-project.

Greets!
Daniel

Hello Robert,

thank you, I found the location, it's in the main properties file. It's really simple, here is the example for the edit menu:
edit=undo redo - cut copy paste %clipboard ...

My question is now, how do I clear the cache for this properties file?

The file is in use by jEdit because this is the header:
#jEdit properties
#Tue Nov 23 00:16:59 CET 2010

I edited the file like this and see no change in the menu:
- close jEdit
- open the file ~/.jedit/properties
- change the line for edit
edit=undo - redo - cut copy paste %clipboard ...
- close the editor
- restart jEdit

Greets!
Daniel