-
Halla Rempt authored
This makes the minimal width of the toolbox 16 pixels, and makes it possible to drag the toolbox out. It doesn't have close or float buttons, though it's still possible to close the docker. BUG:392615
01ac6bbd
This makes the minimal width of the toolbox 16 pixels, and makes it possible to drag the toolbox out. It doesn't have close or float buttons, though it's still possible to close the docker. BUG:392615