Repaint tree when insert override is {,de}activated.
[jSite2.git] / resources / preferences-system.png
resources/preferences-system.png