diff options
| author | Carsten Haitzler (Rasterman) <raster@rasterman.com> | 2020-01-05 20:35:39 +0000 |
|---|---|---|
| committer | Carsten Haitzler (Rasterman) <raster@rasterman.com> | 2020-01-05 20:35:39 +0000 |
| commit | b7c5fd2a0bcb2e882f351668b8afbd1c2a3c9aa4 (patch) | |
| tree | 9bab175af1a132ff4009822934cdeed91318f558 /data/config | |
| parent | 14e7a5c3625df85fba6a4eb5158e6ad127834ace (diff) | |
| download | enlightenment-b7c5fd2a0bcb2e882f351668b8afbd1c2a3c9aa4.tar.gz | |
pager_plain - remove module and migrate people to just plain pager
let's not keep 2 plager gadgets ... one only - yes. it's mini
previews. it's easier to maintain this way.
Diffstat (limited to 'data/config')
| -rw-r--r-- | data/config/default/e.src | 2 | ||||
| -rw-r--r-- | data/config/standard/e.src | 2 | ||||
| -rw-r--r-- | data/config/tiling/e.src | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/data/config/default/e.src b/data/config/default/e.src index a017effa95..c5ae0fe59c 100644 --- a/data/config/default/e.src +++ b/data/config/default/e.src @@ -1,5 +1,5 @@ group "E_Config" struct { - value "config_version" int: 1000029; + value "config_version" int: 1000030; value "config_type" uint: 0; // this profile seems to just be super minimalist value "show_splash" int: 0; value "desktop_default_name" string: "%i-%i"; diff --git a/data/config/standard/e.src b/data/config/standard/e.src index bc9fc5dadc..8f2a0243f8 100644 --- a/data/config/standard/e.src +++ b/data/config/standard/e.src @@ -1,5 +1,5 @@ group "E_Config" struct { - value "config_version" int: 1000029; + value "config_version" int: 1000030; value "config_type" uint: 3; value "show_splash" int: 1; value "desktop_default_name" string: "%i-%i"; diff --git a/data/config/tiling/e.src b/data/config/tiling/e.src index 2d81e5a6dc..41ab402640 100644 --- a/data/config/tiling/e.src +++ b/data/config/tiling/e.src @@ -1,5 +1,5 @@ group "E_Config" struct { - value "config_version" int: 1000029; + value "config_version" int: 1000030; value "config_type" uint: 3; value "show_splash" int: 1; value "desktop_default_name" string: "%i-%i"; |