2020-01-18 11:38:21 +03:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions are met:
|
|
|
|
*
|
|
|
|
* 1. Redistributions of source code must retain the above copyright notice, this
|
|
|
|
* list of conditions and the following disclaimer.
|
|
|
|
*
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright notice,
|
|
|
|
* this list of conditions and the following disclaimer in the documentation
|
|
|
|
* and/or other materials provided with the distribution.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
|
|
|
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
|
|
|
* DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
|
|
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
|
|
|
|
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
|
|
* CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
|
|
|
|
* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
|
|
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
*/
|
|
|
|
|
2020-02-06 14:07:05 +03:00
|
|
|
#include <LibGfx/Bitmap.h>
|
2020-02-06 22:03:37 +03:00
|
|
|
#include <LibGfx/Font.h>
|
2020-02-06 14:04:00 +03:00
|
|
|
#include <LibGfx/StylePainter.h>
|
2020-02-06 22:03:37 +03:00
|
|
|
#include <WindowServer/Event.h>
|
|
|
|
#include <WindowServer/Screen.h>
|
|
|
|
#include <WindowServer/WindowManager.h>
|
|
|
|
#include <WindowServer/WindowSwitcher.h>
|
|
|
|
|
|
|
|
namespace WindowServer {
|
2019-05-12 05:15:25 +03:00
|
|
|
|
2020-02-06 22:03:37 +03:00
|
|
|
static WindowSwitcher* s_the;
|
2019-05-12 05:15:25 +03:00
|
|
|
|
2020-02-06 22:03:37 +03:00
|
|
|
WindowSwitcher& WindowSwitcher::the()
|
2019-05-12 05:15:25 +03:00
|
|
|
{
|
|
|
|
ASSERT(s_the);
|
|
|
|
return *s_the;
|
|
|
|
}
|
2019-03-03 17:17:05 +03:00
|
|
|
|
2020-02-06 22:03:37 +03:00
|
|
|
WindowSwitcher::WindowSwitcher()
|
2019-03-03 17:17:05 +03:00
|
|
|
{
|
2019-05-12 05:15:25 +03:00
|
|
|
s_the = this;
|
2019-03-03 17:17:05 +03:00
|
|
|
}
|
|
|
|
|
2020-02-06 22:03:37 +03:00
|
|
|
WindowSwitcher::~WindowSwitcher()
|
2019-03-03 17:17:05 +03:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2020-02-06 22:03:37 +03:00
|
|
|
void WindowSwitcher::set_visible(bool visible)
|
2019-03-03 17:17:05 +03:00
|
|
|
{
|
|
|
|
if (m_visible == visible)
|
|
|
|
return;
|
|
|
|
m_visible = visible;
|
2020-02-06 22:03:37 +03:00
|
|
|
WindowManager::the().recompute_occlusions();
|
2019-03-06 12:03:10 +03:00
|
|
|
if (m_switcher_window)
|
|
|
|
m_switcher_window->set_visible(visible);
|
|
|
|
if (!m_visible)
|
2019-03-03 17:17:05 +03:00
|
|
|
return;
|
2019-03-06 12:03:10 +03:00
|
|
|
refresh();
|
2019-03-03 17:17:05 +03:00
|
|
|
}
|
|
|
|
|
2020-02-06 22:03:37 +03:00
|
|
|
Window* WindowSwitcher::selected_window()
|
2019-03-03 17:17:05 +03:00
|
|
|
{
|
2020-02-25 16:49:47 +03:00
|
|
|
if (m_selected_index < 0 || m_selected_index >= static_cast<int>(m_windows.size()))
|
2019-03-03 17:17:05 +03:00
|
|
|
return nullptr;
|
|
|
|
return m_windows[m_selected_index].ptr();
|
|
|
|
}
|
|
|
|
|
2020-02-11 20:28:45 +03:00
|
|
|
void WindowSwitcher::event(Core::Event& event)
|
|
|
|
{
|
|
|
|
if (!static_cast<Event&>(event).is_mouse_event())
|
|
|
|
return;
|
|
|
|
|
|
|
|
auto& mouse_event = static_cast<MouseEvent&>(event);
|
2020-02-11 20:53:56 +03:00
|
|
|
int new_hovered_index = -1;
|
2020-02-25 16:49:47 +03:00
|
|
|
for (size_t i = 0; i < m_windows.size(); ++i) {
|
2020-02-11 20:53:56 +03:00
|
|
|
auto item_rect = this->item_rect(i);
|
|
|
|
if (item_rect.contains(mouse_event.position())) {
|
|
|
|
new_hovered_index = i;
|
|
|
|
break;
|
2020-02-11 20:28:45 +03:00
|
|
|
}
|
|
|
|
}
|
2020-02-11 20:53:56 +03:00
|
|
|
|
|
|
|
if (mouse_event.type() == Event::MouseMove) {
|
|
|
|
if (m_hovered_index != new_hovered_index) {
|
|
|
|
m_hovered_index = new_hovered_index;
|
|
|
|
redraw();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (new_hovered_index == -1)
|
|
|
|
return;
|
|
|
|
|
|
|
|
if (mouse_event.type() == Event::MouseDown)
|
|
|
|
select_window_at_index(new_hovered_index);
|
|
|
|
|
2020-02-11 20:28:45 +03:00
|
|
|
event.accept();
|
|
|
|
}
|
|
|
|
|
2020-02-06 22:03:37 +03:00
|
|
|
void WindowSwitcher::on_key_event(const KeyEvent& event)
|
2019-03-03 17:17:05 +03:00
|
|
|
{
|
2020-02-06 22:03:37 +03:00
|
|
|
if (event.type() == Event::KeyUp) {
|
2019-03-03 17:17:05 +03:00
|
|
|
if (event.key() == Key_Logo) {
|
2019-12-29 05:06:04 +03:00
|
|
|
if (auto* window = selected_window()) {
|
|
|
|
window->set_minimized(false);
|
2020-02-06 22:03:37 +03:00
|
|
|
WindowManager::the().move_to_front_and_make_active(*window);
|
2019-12-29 05:06:04 +03:00
|
|
|
}
|
2020-02-06 22:03:37 +03:00
|
|
|
WindowManager::the().set_highlight_window(nullptr);
|
2019-03-03 17:17:05 +03:00
|
|
|
hide();
|
|
|
|
}
|
|
|
|
return;
|
|
|
|
}
|
2020-01-01 20:07:53 +03:00
|
|
|
|
|
|
|
if (event.key() == Key_LeftShift || event.key() == Key_RightShift)
|
|
|
|
return;
|
2019-03-03 17:17:05 +03:00
|
|
|
if (event.key() != Key_Tab) {
|
2020-02-06 22:03:37 +03:00
|
|
|
WindowManager::the().set_highlight_window(nullptr);
|
2019-03-03 17:17:05 +03:00
|
|
|
hide();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
ASSERT(!m_windows.is_empty());
|
2020-01-01 20:07:53 +03:00
|
|
|
|
2020-02-11 20:28:45 +03:00
|
|
|
int new_selected_index;
|
|
|
|
|
2020-01-01 20:07:53 +03:00
|
|
|
if (!event.shift()) {
|
2020-02-25 16:49:47 +03:00
|
|
|
new_selected_index = (m_selected_index + 1) % static_cast<int>(m_windows.size());
|
2020-01-01 20:07:53 +03:00
|
|
|
} else {
|
2020-02-25 16:49:47 +03:00
|
|
|
new_selected_index = (m_selected_index - 1) % static_cast<int>(m_windows.size());
|
2020-02-11 20:28:45 +03:00
|
|
|
if (new_selected_index < 0)
|
2020-02-25 16:49:47 +03:00
|
|
|
new_selected_index = static_cast<int>(m_windows.size()) - 1;
|
2020-01-01 20:07:53 +03:00
|
|
|
}
|
2020-02-25 16:49:47 +03:00
|
|
|
ASSERT(new_selected_index < static_cast<int>(m_windows.size()));
|
2020-02-11 20:28:45 +03:00
|
|
|
|
|
|
|
select_window_at_index(new_selected_index);
|
|
|
|
}
|
|
|
|
|
2020-02-11 20:38:48 +03:00
|
|
|
void WindowSwitcher::select_window(Window& window)
|
|
|
|
{
|
2020-02-25 16:49:47 +03:00
|
|
|
for (size_t i = 0; i < m_windows.size(); ++i) {
|
2020-02-11 20:38:48 +03:00
|
|
|
if (m_windows.at(i) == &window) {
|
|
|
|
select_window_at_index(i);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-02-11 20:28:45 +03:00
|
|
|
void WindowSwitcher::select_window_at_index(int index)
|
|
|
|
{
|
|
|
|
m_selected_index = index;
|
|
|
|
auto* highlight_window = m_windows.at(index).ptr();
|
2019-03-03 17:17:05 +03:00
|
|
|
ASSERT(highlight_window);
|
2020-02-06 22:03:37 +03:00
|
|
|
WindowManager::the().set_highlight_window(highlight_window);
|
2020-02-11 20:53:56 +03:00
|
|
|
redraw();
|
|
|
|
}
|
|
|
|
|
|
|
|
void WindowSwitcher::redraw()
|
|
|
|
{
|
2019-03-06 12:03:10 +03:00
|
|
|
draw();
|
2020-02-06 22:03:37 +03:00
|
|
|
WindowManager::the().invalidate(m_rect);
|
2019-03-03 17:17:05 +03:00
|
|
|
}
|
|
|
|
|
2020-02-11 20:28:45 +03:00
|
|
|
Gfx::Rect WindowSwitcher::item_rect(int index) const
|
|
|
|
{
|
|
|
|
return {
|
|
|
|
padding(),
|
|
|
|
padding() + index * item_height(),
|
|
|
|
m_rect.width() - padding() * 2,
|
|
|
|
item_height()
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2020-02-06 22:03:37 +03:00
|
|
|
void WindowSwitcher::draw()
|
2019-03-03 17:17:05 +03:00
|
|
|
{
|
2020-02-06 22:03:37 +03:00
|
|
|
auto palette = WindowManager::the().palette();
|
2020-02-06 13:56:38 +03:00
|
|
|
Gfx::Painter painter(*m_switcher_window->backing_store());
|
2019-12-24 22:57:54 +03:00
|
|
|
painter.fill_rect({ {}, m_rect.size() }, palette.window());
|
|
|
|
painter.draw_rect({ {}, m_rect.size() }, palette.threed_shadow2());
|
2020-02-25 16:49:47 +03:00
|
|
|
for (size_t index = 0; index < m_windows.size(); ++index) {
|
2019-03-03 17:17:05 +03:00
|
|
|
auto& window = *m_windows.at(index);
|
2020-02-11 20:28:45 +03:00
|
|
|
auto item_rect = this->item_rect(index);
|
2019-03-03 17:17:05 +03:00
|
|
|
Color text_color;
|
|
|
|
Color rect_text_color;
|
2020-02-25 16:49:47 +03:00
|
|
|
if (static_cast<int>(index) == m_selected_index) {
|
2019-12-24 22:57:54 +03:00
|
|
|
painter.fill_rect(item_rect, palette.selection());
|
|
|
|
text_color = palette.selection_text();
|
|
|
|
rect_text_color = palette.threed_shadow1();
|
2019-03-03 17:17:05 +03:00
|
|
|
} else {
|
2020-02-25 16:49:47 +03:00
|
|
|
if (static_cast<int>(index) == m_hovered_index)
|
2020-02-11 20:53:56 +03:00
|
|
|
Gfx::StylePainter::paint_button(painter, item_rect, palette, Gfx::ButtonStyle::CoolBar, false, true);
|
2019-12-24 22:57:54 +03:00
|
|
|
text_color = palette.window_text();
|
|
|
|
rect_text_color = palette.threed_shadow2();
|
2019-03-03 17:17:05 +03:00
|
|
|
}
|
2019-04-23 23:01:33 +03:00
|
|
|
item_rect.shrink(item_padding(), 0);
|
2020-02-06 13:56:38 +03:00
|
|
|
Gfx::Rect thumbnail_rect = { item_rect.location().translated(0, 5), { thumbnail_width(), thumbnail_height() } };
|
2019-05-12 05:15:25 +03:00
|
|
|
if (window.backing_store()) {
|
|
|
|
painter.draw_scaled_bitmap(thumbnail_rect, *window.backing_store(), window.backing_store()->rect());
|
2020-02-06 13:56:38 +03:00
|
|
|
Gfx::StylePainter::paint_frame(painter, thumbnail_rect.inflated(4, 4), palette, Gfx::FrameShape::Container, Gfx::FrameShadow::Sunken, 2);
|
2019-05-12 05:15:25 +03:00
|
|
|
}
|
2020-02-06 13:56:38 +03:00
|
|
|
Gfx::Rect icon_rect = { thumbnail_rect.bottom_right().translated(-window.icon().width(), -window.icon().height()), { window.icon().width(), window.icon().height() } };
|
2019-12-24 22:57:54 +03:00
|
|
|
painter.fill_rect(icon_rect, palette.window());
|
2019-05-12 05:15:25 +03:00
|
|
|
painter.blit(icon_rect.location(), window.icon(), window.icon().rect());
|
2020-02-06 22:03:37 +03:00
|
|
|
painter.draw_text(item_rect.translated(thumbnail_width() + 12, 0), window.title(), WindowManager::the().window_title_font(), Gfx::TextAlignment::CenterLeft, text_color);
|
2020-02-06 13:56:38 +03:00
|
|
|
painter.draw_text(item_rect, window.rect().to_string(), Gfx::TextAlignment::CenterRight, rect_text_color);
|
2019-03-03 17:17:05 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-02-06 22:03:37 +03:00
|
|
|
void WindowSwitcher::refresh()
|
2019-03-03 17:17:05 +03:00
|
|
|
{
|
2020-02-06 22:03:37 +03:00
|
|
|
auto& wm = WindowManager::the();
|
|
|
|
Window* selected_window = nullptr;
|
2019-03-03 17:17:05 +03:00
|
|
|
if (m_selected_index > 0 && m_windows[m_selected_index])
|
|
|
|
selected_window = m_windows[m_selected_index].ptr();
|
2019-05-13 01:08:56 +03:00
|
|
|
if (!selected_window)
|
|
|
|
selected_window = wm.highlight_window() ? wm.highlight_window() : wm.active_window();
|
2019-03-03 17:17:05 +03:00
|
|
|
m_windows.clear();
|
|
|
|
m_selected_index = 0;
|
|
|
|
int window_count = 0;
|
2019-03-06 13:03:10 +03:00
|
|
|
int longest_title_width = 0;
|
2020-02-06 22:03:37 +03:00
|
|
|
wm.for_each_window_of_type_from_front_to_back(
|
|
|
|
WindowType::Normal, [&](Window& window) {
|
|
|
|
++window_count;
|
|
|
|
longest_title_width = max(longest_title_width, wm.font().width(window.title()));
|
|
|
|
if (selected_window == &window)
|
|
|
|
m_selected_index = m_windows.size();
|
|
|
|
m_windows.append(window.make_weak_ptr());
|
|
|
|
return IterationDecision::Continue;
|
|
|
|
},
|
2019-06-07 12:47:19 +03:00
|
|
|
true);
|
2019-03-03 17:17:05 +03:00
|
|
|
if (m_windows.is_empty()) {
|
|
|
|
hide();
|
|
|
|
return;
|
|
|
|
}
|
2019-03-06 13:03:10 +03:00
|
|
|
int space_for_window_rect = 180;
|
2019-05-12 05:15:25 +03:00
|
|
|
m_rect.set_width(thumbnail_width() + longest_title_width + space_for_window_rect + padding() * 2 + item_padding() * 2);
|
2019-03-03 17:17:05 +03:00
|
|
|
m_rect.set_height(window_count * item_height() + padding() * 2);
|
2020-02-06 22:03:37 +03:00
|
|
|
m_rect.center_within(Screen::the().rect());
|
2019-03-06 12:03:10 +03:00
|
|
|
if (!m_switcher_window)
|
2020-02-06 22:03:37 +03:00
|
|
|
m_switcher_window = Window::construct(*this, WindowType::WindowSwitcher);
|
2019-03-06 12:03:10 +03:00
|
|
|
m_switcher_window->set_rect(m_rect);
|
2020-02-11 20:53:56 +03:00
|
|
|
redraw();
|
2019-03-06 12:03:10 +03:00
|
|
|
}
|
2019-05-12 05:15:25 +03:00
|
|
|
|
2020-02-06 22:03:37 +03:00
|
|
|
void WindowSwitcher::refresh_if_needed()
|
2019-05-12 05:15:25 +03:00
|
|
|
{
|
2020-02-11 20:53:56 +03:00
|
|
|
if (m_visible)
|
2019-05-12 05:15:25 +03:00
|
|
|
refresh();
|
|
|
|
}
|
2020-02-06 22:03:37 +03:00
|
|
|
|
|
|
|
}
|