On 07/04/2019 23:43, Pavel Sanda wrote:
On Sun, Apr 07, 2019 at 11:18:09AM +0200, Juergen Spitzmueller wrote:
commit 823263904f35fe0d5beae12e5c057ffbc5de57f9
Author: Juergen Spitzmueller <[email protected]>
Date: Sun Apr 7 11:23:19 2019 +0200
GuiDocument: Sort available modules by category
Cool! Maybe Math & theorems should be merged? P
Nice! When double clicking on the modules in the list not only does it
get added but also it goes into renaming mode, so I can change the name
of a module. I guess that is not on purpose. (At least the renaming does
not survive a dialog closing.)
Also, maybe add the system/user library distinction icons?
Daniel
