ynkmr/Sourcetrail
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

ui: Added checkbox to enable/disable animations to preferences

Browse Source
This commit is contained in:
Eberhard Graether
2017-01-09 21:32:59 +01:00
parent 757f728f98
commit cee8a52ca4
7 changed files with 30 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
bin/app/user/ApplicationSettings_template.xml
+2
View File
@@ -18,6 +18,8 @@
<font_size_min><!-- INTEGER: minimum font size in pt --></font_size_min>
<font_size_std><!-- INTEGER: standard font size in pt --></font_size_std>
<use_animations><!-- BOOL: define if animations are used --></use_animations>
<window_base_width><!-- INTEGER: initial width of an overlay window --></window_base_width>
<window_base_height><!-- INTEGER: initial height of an overlay window --></window_base_height>