diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-04-15 21:23:08 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-15 21:23:08 +0200 |
| commit | 22cece741c2159b04f3de40d1f8eabc61da1e497 (patch) | |
| tree | 2101eb8911b1d101886a47b39617a0727986c916 /plugingui/mainwindow.h | |
| parent | 84954cd78d6e0fa8eff24e7a0558f48748e4ba47 (diff) | |
Add GPL to resources instead of using getGPLText function.
Diffstat (limited to 'plugingui/mainwindow.h')
| -rw-r--r-- | plugingui/mainwindow.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/plugingui/mainwindow.h b/plugingui/mainwindow.h index 4b5dad1..a20f9dc 100644 --- a/plugingui/mainwindow.h +++ b/plugingui/mainwindow.h @@ -60,7 +60,7 @@ private: void repaintEvent(RepaintEvent* repaintEvent) override final; TabWidget tabs{this}; - + MainTab main_tab{this}; // TODO use some nice textfield widget here TextEdit gpl_text_field{&tabs}; @@ -77,6 +77,8 @@ private: Settings& settings; SettingsNotifier settings_notifier{settings}; + + Resource gpl{":../../COPYING"}; }; } // GUI:: |