From abbcdba72e63f223c4207242f6d776abb6fdaa8b Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Fri, 24 May 2019 14:02:17 +0200 Subject: [PATCH] WindowServer: Add 2560x1440 resolution option. Also expand the QEMU VGA memory size to 64 MB, since otherwise we won't have enough memory for double-buffering the screen. --- Kernel/run | 3 +++ Servers/WindowServer/WSWindowManager.cpp | 2 ++ 2 files changed, 5 insertions(+) diff --git a/Kernel/run b/Kernel/run index c7e58903ec..199b818919 100755 --- a/Kernel/run +++ b/Kernel/run @@ -13,6 +13,7 @@ elif [ "$1" = "qn" ]; then $SERENITY_QEMU_BIN -s -m $ram_size \ $SERENITY_EXTRA_QEMU_ARGS \ -d cpu_reset,guest_errors \ + -device VGA,vgamem_mb=64 \ -debugcon stdio \ -device e1000 \ -kernel kernel \ @@ -23,6 +24,7 @@ elif [ "$1" = "qtap" ]; then sudo $SERENITY_QEMU_BIN -s -m $ram_size \ $SERENITY_EXTRA_QEMU_ARGS \ -d cpu_reset,guest_errors \ + -device VGA,vgamem_mb=64 \ -debugcon stdio \ -object filter-dump,id=hue,netdev=br0,file=e1000.pcap \ -netdev tap,ifname=tap0,id=br0 \ @@ -35,6 +37,7 @@ else $SERENITY_QEMU_BIN -s -m $ram_size \ $SERENITY_EXTRA_QEMU_ARGS \ -d cpu_reset,guest_errors \ + -device VGA,vgamem_mb=64 \ -debugcon stdio \ -object filter-dump,id=hue,netdev=breh,file=e1000.pcap \ -netdev user,id=breh,hostfwd=tcp:127.0.0.1:8888-192.168.5.2:8888 \ diff --git a/Servers/WindowServer/WSWindowManager.cpp b/Servers/WindowServer/WSWindowManager.cpp index 0f6aba62f3..ab5a22e1fb 100644 --- a/Servers/WindowServer/WSWindowManager.cpp +++ b/Servers/WindowServer/WSWindowManager.cpp @@ -126,6 +126,7 @@ WSWindowManager::WSWindowManager() m_system_menu->add_item(make(*m_system_menu, 103, "1280x720")); m_system_menu->add_item(make(*m_system_menu, 104, "1440x900")); m_system_menu->add_item(make(*m_system_menu, 105, "1920x1080")); + m_system_menu->add_item(make(*m_system_menu, 106, "2560x1440")); m_system_menu->add_item(make(*m_system_menu, WSMenuItem::Separator)); m_system_menu->add_item(make(*m_system_menu, 200, "About...")); m_system_menu->on_item_activation = [this, apps] (WSMenuItem& item) { @@ -143,6 +144,7 @@ WSWindowManager::WSWindowManager() case 103: set_resolution(1280, 720); break; case 104: set_resolution(1440, 900); break; case 105: set_resolution(1920, 1080); break; + case 106: set_resolution(2560, 1440); break; } if (item.identifier() == 200) { if (fork() == 0) {