On 15.01.2022 19:39, Michaud Michael wrote:
I suggest we make a CORE "submenu" for plugin help pages in help menu to avoid 
to have a cluttered Help menu

Help

   - PlugIns

        - Fill Pattern Help


really don't care for now. as long as there are just a handful of items i don't 
see the need. what i'd like to see would be centralized way for offline help to 
be displayed/searched. but that's just a dream. we got bigger issues for now.

i just kept it because it was there. it ain't translated but hardcoded in 
source, but still explains how it works.

..ede


_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

Reply via email to