9 Commits

Author	SHA1	Message	Date
Antonio Scandurra	8077f46fdf	Programmatically detect when mouse approaches the edge of a dock ... Previously, we would assign dock elements a minimum width/height of 2 pixels so that we could detect when the mouse approached the edge of a hidden dock in order to show the chevron buttons. This, however, was causing confusion for users, who expected that extra space to be clickable in order to scroll editors located in the center dock. With this commit we will instead register a global `mousemove` event on the window right when attaching the workspace element to the DOM (the event handler is debounced, so this shouldn't have any performance consequence). Then, when mouse moves, we will programmatically detect when it is approaching to the edge of a dock and show the chevron button accordingly. This allows us to remove the `min-width` property from the dock container element, which eliminates the confusing behavior described above.	2018-01-12 17:12:55 +01:00
simurai	cd7491bc46	Increase dock hover affordance	2017-12-20 19:59:35 +09:00
simurai	1f21a51ddd	Fix dock button rendering issue	2017-07-12 12:26:48 +09:00
Matthew Dapena-Tretter	83efa4b918	Ensure dock mask has size of zero ... This no longer seems to be an issue.	2017-04-13 15:53:37 -07:00
Matthew Dapena-Tretter	915931dddd	🐛 Make sure docks affordance can always be revealed	2017-04-13 15:52:05 -07:00
Max Brunsfeld	8b407bf48f	Don't allow opening docks by clicking on the resize handle	2017-04-05 12:45:29 -07:00
Matthew Dapena-Tretter	13f0c8a977	Docks: define handle size in CSS; measure in JS	2017-03-27 12:19:08 -07:00
Matthew Dapena-Tretter	d691c3e5aa	Docks: Don't change inherited presentation styles	2017-03-27 10:48:27 -07:00
Matthew Dapena-Tretter	bf39947eee	Add Dock component	2017-03-18 15:31:51 -07:00