-
Hans Breuer authored
Should make the code more maintainable, when we add a new tool. The effect on the menu is slightly different than before. Now the whole Tools submenu gets disabled, while formerly the single tools where insensitive.
6c53d441
Should make the code more maintainable, when we add a new tool. The effect on the menu is slightly different than before. Now the whole Tools submenu gets disabled, while formerly the single tools where insensitive.