Merge pull request #1323 from Eikelenboom/development

Add extra increased font size to Windowed Console
This commit is contained in:
Brian Roberts 2024-09-24 18:32:42 -05:00 committed by GitHub
commit 00e5482733
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 13 additions and 0 deletions

View file

@ -1569,6 +1569,11 @@ new GuiControlProfile(ToolsGuiConsoleLargeProfile : ToolsGuiConsoleProfile)
{
fontSize = $GUI::fontSize[16];
};
if(!isObject(ToolsGuiConsoleXLProfile))
new GuiControlProfile(ToolsGuiConsoleXLProfile : ToolsGuiConsoleProfile)
{
fontSize = $GUI::fontSize[18];
};
if(!isObject(ToolsGuiConsoleTextProfile))
new GuiControlProfile(ToolsGuiConsoleTextProfile)
{

View file

@ -252,6 +252,10 @@ function windowConsoleDlg::incFont()
{
switch ($Con::font)
{
case 16:
windowConsoleMessageLogView.setProfile(ToolsGuiConsoleXLProfile);
$Con::font = 18;
windowConsoleMessageLogView.refresh();
case 14:
windowConsoleMessageLogView.setProfile(ToolsGuiConsoleLargeProfile);
$Con::font = 16;
@ -275,6 +279,10 @@ function windowConsoleDlg::decFont()
windowConsoleMessageLogView.setProfile(ToolsGuiConsoleMediumProfile);
$Con::font = 14;
windowConsoleMessageLogView.refresh();
case 18:
windowConsoleMessageLogView.setProfile(ToolsGuiConsoleLargeProfile);
$Con::font = 16;
windowConsoleMessageLogView.refresh();
}
}