diff options
| author | Peter Penz <[email protected]> | 2011-12-16 19:41:32 +0100 |
|---|---|---|
| committer | Peter Penz <[email protected]> | 2011-12-16 19:43:10 +0100 |
| commit | f640e48bbe3504e4ae3e16349cf98ba9fae90428 (patch) | |
| tree | 0ee46937d4a16a3c7882b94b92f2bb5c5db84235 /src/main.cpp | |
| parent | d9222cd1cef9156c53f1d62894e2637931017a94 (diff) | |
Assure that the general settings are refreshed
This fixes issues where Dolphin must get restarted after changing
a general setting.
BUG: 289131
FIXED-IN: 4.8.0
Diffstat (limited to 'src/main.cpp')
0 files changed, 0 insertions, 0 deletions