ladybird/Widgets/WindowManager.cpp

106 lines
2.7 KiB
C++
Raw Normal View History

2018-10-11 16:52:40 +02:00
#include "WindowManager.h"
#include "Painter.h"
#include "Widget.h"
2018-10-12 01:03:22 +02:00
#include "Window.h"
2018-10-11 16:52:40 +02:00
#include "AbstractScreen.h"
WindowManager& WindowManager::the()
{
static WindowManager* s_the = new WindowManager;
return *s_the;
}
WindowManager::WindowManager()
{
}
WindowManager::~WindowManager()
{
}
void WindowManager::paintWindowFrames()
{
2018-10-12 01:03:22 +02:00
for (auto* window : m_windows)
paintWindowFrame(*window);
2018-10-11 16:52:40 +02:00
}
2018-10-12 01:03:22 +02:00
void WindowManager::paintWindowFrame(Window& window)
2018-10-11 16:52:40 +02:00
{
Painter p(*AbstractScreen::the().rootWidget());
2018-10-12 01:03:22 +02:00
printf("WM: paintWindowFrame {%p}, rect: %d,%d %dx%d\n", &window, window.rect().x(), window.rect().y(), window.rect().width(), window.rect().height());
2018-10-11 16:52:40 +02:00
static const int windowFrameWidth = 2;
2018-10-11 23:14:51 +02:00
static const int windowTitleBarHeight = 16;
2018-10-11 16:52:40 +02:00
Rect topRect {
2018-10-12 01:03:22 +02:00
window.x() - windowFrameWidth,
window.y() - windowTitleBarHeight - windowFrameWidth,
window.width() + windowFrameWidth * 2,
2018-10-11 16:52:40 +02:00
windowTitleBarHeight + windowFrameWidth };
Rect bottomRect {
2018-10-12 01:03:22 +02:00
window.x() - windowFrameWidth,
window.y() + window.height(),
window.width() + windowFrameWidth * 2,
2018-10-11 16:52:40 +02:00
windowFrameWidth };
Rect leftRect {
2018-10-12 01:03:22 +02:00
window.x() - windowFrameWidth,
window.y(),
2018-10-11 16:52:40 +02:00
windowFrameWidth,
2018-10-12 01:03:22 +02:00
window.height()
2018-10-11 16:52:40 +02:00
};
Rect rightRect {
2018-10-12 01:03:22 +02:00
window.x() + window.width(),
window.y(),
2018-10-11 16:52:40 +02:00
windowFrameWidth,
2018-10-12 01:03:22 +02:00
window.height()
2018-10-11 16:52:40 +02:00
};
2018-10-11 23:14:51 +02:00
static const Color windowBorderColor(0x00, 0x00, 0x80);
static const Color windowTitleColor(0xff, 0xff, 0xff);
2018-10-11 16:52:40 +02:00
2018-10-11 23:14:51 +02:00
Rect borderRect {
topRect.x() - 1,
topRect.y() - 1,
topRect.width() + 2,
2018-10-12 01:03:22 +02:00
windowFrameWidth + windowTitleBarHeight + window.rect().height() + 4
2018-10-11 23:14:51 +02:00
};
p.drawRect(borderRect, Color(255, 255, 255));
borderRect.inflate(2, 2);
p.drawRect(borderRect, windowBorderColor);
p.fillRect(topRect, windowBorderColor);
p.fillRect(bottomRect, windowBorderColor);
p.fillRect(leftRect, windowBorderColor);
p.fillRect(rightRect, windowBorderColor);
2018-10-12 01:03:22 +02:00
p.drawText(topRect, window.title(), Painter::TextAlignment::Center, windowTitleColor);
2018-10-11 16:52:40 +02:00
}
2018-10-12 01:03:22 +02:00
void WindowManager::addWindow(Window& window)
2018-10-11 16:52:40 +02:00
{
2018-10-12 01:03:22 +02:00
m_windows.set(&window);
2018-10-11 16:52:40 +02:00
}
2018-10-12 01:03:22 +02:00
void WindowManager::notifyTitleChanged(Window& window)
2018-10-11 16:52:40 +02:00
{
2018-10-12 01:03:22 +02:00
printf("[WM] ]Window{%p} title set to '%s'\n", &window, window.title().characters());
2018-10-11 16:52:40 +02:00
}
2018-10-12 01:03:22 +02:00
void WindowManager::notifyRectChanged(Window& window, const Rect& oldRect, const Rect& newRect)
{
printf("[WM] Window %p rect changed (%d,%d %dx%d) -> (%d,%d %dx%d)\n",
&window,
oldRect.x(),
oldRect.y(),
oldRect.width(),
oldRect.height(),
newRect.x(),
newRect.y(),
newRect.width(),
newRect.height());
}