Bug report

Hi,

since last update EditorsKit topics in our menu are looking like …

#1222 (no title)

#84 (no title)

… instead of the words we use. Deactivating Editorskit stops this problem, as well as adding a space in appearence/menu after the affected topic.

Maybe it interfers with User Menus which we use, although they ran smoothly together for at least to years.

Thanks for your very useful plugin by the way!

Bernd