HTML-Kit 292 Tip 002 - Increasing workspace explorer width

The workspace is the window within HTML-Kit which shows folders and files on your disk and/or server.

I became frustrated by the narrowness of this window, so it was difficult to identify files without using horizontal scroll bar. At first could not see how increase this width until I realised that by "grabbing" the top bar and moving mouse you can un-dock the workspace window which you can then float to wherever you want it, inside or outside the main HTML-Kit window.

Once it is in float mode the width can be increase in similar method of dragging a side similar to any other window. You can then re-dock the window on the side by again grabbing the top edge and dragging until pointer is touching HTML-Kit main window edge where it will snap into a docked window again but with the new width.

Following Youtube video shows this in action.