wok diff emerald/stuff/settings.ini @ rev 20863

updated e2tools again (0.0.16 -> 0.0.16.4)
author: Hans-G?nter Theisgen
date: Fri Feb 22 16:43:17 2019 +0100 (2019-02-22)
parents: e666c5086b54
     1.1 --- a/emerald/stuff/settings.ini	Fri Apr 20 18:02:26 2012 +0200
     1.2 +++ b/emerald/stuff/settings.ini	Fri Feb 22 16:43:17 2019 +0100
     1.3 @@ -10,7 +10,7 @@
     1.4  hover_cursor=1
     1.5  
     1.6  [titlebars]
     1.7 -double_click_action=0
     1.8 +double_click_action=1
     1.9  
    1.10  [decorations]
    1.11  use_decoration_cropping=true