diff options
| author | Peter Penz <[email protected]> | 2011-08-13 12:42:53 +0200 |
|---|---|---|
| committer | Peter Penz <[email protected]> | 2011-08-13 12:45:14 +0200 |
| commit | d11de1855fb1b93634b3b394b46fa446392c24c9 (patch) | |
| tree | d93339e320e78906d01a659c124133963cea9958 /src/settings/dolphin_generalsettings.kcfg | |
| parent | 58ab93541c70de4fa7cbb90dc3423cfec556dc38 (diff) | |
Don't enable the search panel per default
Assure that the search panel also stays disabled when updating
from an older Dolphin version.
BUG: 279348
FIXED-IN: 4.7.1
Diffstat (limited to 'src/settings/dolphin_generalsettings.kcfg')
| -rw-r--r-- | src/settings/dolphin_generalsettings.kcfg | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/settings/dolphin_generalsettings.kcfg b/src/settings/dolphin_generalsettings.kcfg index ee219d953..c5f6f7456 100644 --- a/src/settings/dolphin_generalsettings.kcfg +++ b/src/settings/dolphin_generalsettings.kcfg @@ -24,6 +24,10 @@ <label>Is the application started the first time (internal setting not shown in the UI)</label> <default>true</default> </entry> + <entry name="Version" type="Int"> + <label>Internal version of Dolphin, containing 3 digits for mayor, minor, bugfix</label> + <default>0</default> + </entry> <entry name="ModifiedStartupSettings" type="Bool"> <label>Have the startup settings been modified (internal setting not shown in the UI)</label> <default>false</default> |