wok view emerald/stuff/settings.ini @ rev 23426

updated php packages (7.3.16 -> 7.4.4)
author Hans-G?nter Theisgen
date Wed Apr 01 15:23:29 2020 +0100 (2020-04-01)
parents e666c5086b54
children
line source
2 [buttons]
3 enable_tooltips=true
4 use_button_fade=true
5 use_button_fade_pulse=false
6 button_fade_total_duration=250
7 button_fade_step_duration=50
8 button_fade_pulse_wait_duration=0
9 button_fade_pulse_min_opacity=0
10 hover_cursor=1
12 [titlebars]
13 double_click_action=1
15 [decorations]
16 use_decoration_cropping=true
17 blur_type=0