0.4.1
Loading...
Searching...
No Matches
FontSizeEditor.cpp
Go to the documentation of this file.
1// This file is part of INSTINCT, the INS Toolkit for Integrated
2// Navigation Concepts and Training by the Institute of Navigation of
3// the University of Stuttgart, Germany.
4//
5// This Source Code Form is subject to the terms of the Mozilla Public
6// License, v. 2.0. If a copy of the MPL was not distributed with this
7// file, You can obtain one at https://mozilla.org/MPL/2.0/.
8
9#include "FontSizeEditor.hpp"
10
13#include <imgui.h>
14
15void NAV::gui::windows::ShowFontSizeEditor(bool* show /* = nullptr*/)
16{
17 if (!ImGui::Begin("Font Size Editor", show))
18 {
19 ImGui::End();
20 return;
21 }
22
23 bool useBigDefaultFont = gui::NodeEditorApplication::isUsingBigDefaultFont();
24 if (ImGui::Checkbox("Use big default font", &useBigDefaultFont))
25 {
26 gui::NodeEditorApplication::swapDefaultFont(useBigDefaultFont);
28 }
29
30 bool useBigWindowFont = gui::NodeEditorApplication::isUsingBigWindowFont();
31 if (ImGui::Checkbox("Use big window font", &useBigWindowFont))
32 {
33 gui::NodeEditorApplication::swapWindowFont(useBigWindowFont);
35 }
36
37 bool useBigPanelFont = gui::NodeEditorApplication::isUsingBigPanelFont();
38 if (ImGui::Checkbox("Use big panel font", &useBigPanelFont))
39 {
40 gui::NodeEditorApplication::swapPanelFont(useBigPanelFont);
42 }
43
44 bool useBigMonoFont = gui::NodeEditorApplication::isUsingBigMonoFont();
45 if (ImGui::Checkbox("Use big mono font", &useBigMonoFont))
46 {
47 gui::NodeEditorApplication::swapMonoFont(useBigMonoFont);
49 }
50
51 // bool useBigHeaderFont = gui::NodeEditorApplication::isUsingBigHeaderFont();
52 // if (ImGui::Checkbox("Use big header font", &useBigHeaderFont))
53 // {
54 // gui::NodeEditorApplication::swapHeaderFont(useBigHeaderFont);
55 // flow::ApplyChanges();
56 // }
57
58 ImGui::End();
59}
Save/Load the Nodes.
Font size chooser window.
void ApplyChanges()
Signals that there have been changes to the flow.
void ShowFontSizeEditor(bool *show=nullptr)
Shows a window for choosing the font size.