Patch from Josepmaria Roca makes detachable menu and toolbar optional and adds option to use GTK+ stock icons for toolbar.
Patch from Josepmaria Roca makes detachable menu and toolbar optional and
adds option to use GTK+ stock icons for toolbar.

R1dO/scite_clone,R1dO/scite_clone,R1dO/scite_clone,R1dO/scite_clone