4 commits

Author	SHA1	Message	Date
Andreas Kling	c241ab75cd	LibGUI: Simplify HeaderView::mouseup_event() slightly	2020-08-26 17:00:40 +02:00
Andreas Kling	3f4df7c6da	LibGUI: Reset hovered section when mouse cursor leaves a HeaderView	2020-08-26 17:00:40 +02:00
Andreas Kling	9a25dd99c3	LibGUI: HeaderView should always notify parent when sections resize ... The view needs to recompute the scrollable content size whenever this happens, so let's always notify it. Previously we were only doing this when resizing columns with interactively (not programmatically.)	2020-08-26 00:51:35 +02:00
Andreas Kling	44e371635e	LibGUI: Move table view headers into their own widget ... This patch introduces the HeaderView class, which is a widget that implements the column headers of TableView and TreeView. This greatly simplifies event management in the view implementations and also makes it much easier to eventually implement row headers.	2020-08-26 00:51:35 +02:00