411058b2a3
Color themes are loaded from .ini files in /res/themes/
The theme can be switched from the "Themes" section in the system menu.
The basic mechanism is that WindowServer broadcasts a SharedBuffer with
all of the color values of the current theme. Clients receive this with
the response to their initial WindowServer::Greet handshake.
When the theme is changed, WindowServer tells everyone by sending out
an UpdateSystemTheme message with a new SharedBuffer to use.
This does feel somewhat bloated somehow, but I'm sure we can iterate on
it over time and improve things.
To get one of the theme colors, use the Color(SystemColor) constructor:
painter.fill_rect(rect, SystemColor::HoverHighlight);
Some things don't work 100% right without a reboot. Specifically, when
constructing a GWidget, it will set its own background and foreground
colors based on the current SystemColor::Window and SystemColor::Text.
The widget is then stuck with these values, and they don't update on
system theme change, only on app restart.
All in all though, this is pretty cool. Merry Christmas! :^)
103 lines
4.4 KiB
C++
103 lines
4.4 KiB
C++
#include <LibGUI/GBoxLayout.h>
|
|
#include <LibGUI/GSplitter.h>
|
|
#include <LibGUI/GWindow.h>
|
|
|
|
GSplitter::GSplitter(Orientation orientation, GWidget* parent)
|
|
: GFrame(parent)
|
|
, m_orientation(orientation)
|
|
{
|
|
set_layout(make<GBoxLayout>(orientation));
|
|
set_fill_with_background_color(true);
|
|
set_background_color(SystemColor::Window);
|
|
layout()->set_spacing(3);
|
|
}
|
|
|
|
GSplitter::~GSplitter()
|
|
{
|
|
}
|
|
|
|
void GSplitter::enter_event(CEvent&)
|
|
{
|
|
set_background_color(StylePainter::hover_highlight_color());
|
|
window()->set_override_cursor(m_orientation == Orientation::Horizontal ? GStandardCursor::ResizeHorizontal : GStandardCursor::ResizeVertical);
|
|
update();
|
|
}
|
|
|
|
void GSplitter::leave_event(CEvent&)
|
|
{
|
|
set_background_color(SystemColor::Window);
|
|
if (!m_resizing)
|
|
window()->set_override_cursor(GStandardCursor::None);
|
|
update();
|
|
}
|
|
|
|
void GSplitter::mousedown_event(GMouseEvent& event)
|
|
{
|
|
if (event.button() != GMouseButton::Left)
|
|
return;
|
|
m_resizing = true;
|
|
int x_or_y = event.position().primary_offset_for_orientation(m_orientation);
|
|
GWidget* first_resizee { nullptr };
|
|
GWidget* second_resizee { nullptr };
|
|
int fudge = layout()->spacing();
|
|
for_each_child_widget([&](auto& child) {
|
|
int child_start = child.relative_rect().first_edge_for_orientation(m_orientation);
|
|
int child_end = child.relative_rect().last_edge_for_orientation(m_orientation);
|
|
if (x_or_y > child_end && (x_or_y - fudge) <= child_end)
|
|
first_resizee = &child;
|
|
if (x_or_y < child_start && (x_or_y + fudge) >= child_start)
|
|
second_resizee = &child;
|
|
return IterationDecision::Continue;
|
|
});
|
|
ASSERT(first_resizee && second_resizee);
|
|
m_first_resizee = first_resizee->make_weak_ptr();
|
|
m_second_resizee = second_resizee->make_weak_ptr();
|
|
m_first_resizee_start_size = first_resizee->size();
|
|
m_second_resizee_start_size = second_resizee->size();
|
|
m_resize_origin = event.position();
|
|
}
|
|
|
|
void GSplitter::mousemove_event(GMouseEvent& event)
|
|
{
|
|
if (!m_resizing)
|
|
return;
|
|
auto delta = event.position() - m_resize_origin;
|
|
if (!m_first_resizee || !m_second_resizee) {
|
|
// One or both of the resizees were deleted during an ongoing resize, screw this.
|
|
m_resizing = false;
|
|
return;
|
|
}
|
|
int minimum_size = 0;
|
|
auto new_first_resizee_size = m_first_resizee_start_size;
|
|
auto new_second_resizee_size = m_second_resizee_start_size;
|
|
|
|
new_first_resizee_size.set_primary_size_for_orientation(m_orientation, new_first_resizee_size.primary_size_for_orientation(m_orientation) + delta.primary_offset_for_orientation(m_orientation));
|
|
new_second_resizee_size.set_primary_size_for_orientation(m_orientation, new_second_resizee_size.primary_size_for_orientation(m_orientation) - delta.primary_offset_for_orientation(m_orientation));
|
|
|
|
if (new_first_resizee_size.primary_size_for_orientation(m_orientation) < minimum_size) {
|
|
int correction = minimum_size - new_first_resizee_size.primary_size_for_orientation(m_orientation);
|
|
new_first_resizee_size.set_primary_size_for_orientation(m_orientation, new_first_resizee_size.primary_size_for_orientation(m_orientation) + correction);
|
|
new_second_resizee_size.set_primary_size_for_orientation(m_orientation, new_second_resizee_size.primary_size_for_orientation(m_orientation) - correction);
|
|
}
|
|
if (new_second_resizee_size.primary_size_for_orientation(m_orientation) < minimum_size) {
|
|
int correction = minimum_size - new_second_resizee_size.primary_size_for_orientation(m_orientation);
|
|
new_second_resizee_size.set_primary_size_for_orientation(m_orientation, new_second_resizee_size.primary_size_for_orientation(m_orientation) + correction);
|
|
new_first_resizee_size.set_primary_size_for_orientation(m_orientation, new_first_resizee_size.primary_size_for_orientation(m_orientation) - correction);
|
|
}
|
|
m_first_resizee->set_preferred_size(new_first_resizee_size);
|
|
m_second_resizee->set_preferred_size(new_second_resizee_size);
|
|
|
|
m_first_resizee->set_size_policy(m_orientation, SizePolicy::Fixed);
|
|
m_second_resizee->set_size_policy(m_orientation, SizePolicy::Fill);
|
|
|
|
invalidate_layout();
|
|
}
|
|
|
|
void GSplitter::mouseup_event(GMouseEvent& event)
|
|
{
|
|
if (event.button() != GMouseButton::Left)
|
|
return;
|
|
m_resizing = false;
|
|
if (!rect().contains(event.position()))
|
|
window()->set_override_cursor(GStandardCursor::None);
|
|
}
|