diff options
| author | Jan Holesovsky <kendy@suse.cz> | 2010-08-25 11:14:15 +0200 |
|---|---|---|
| committer | Jan Holesovsky <kendy@suse.cz> | 2010-08-25 11:14:15 +0200 |
| commit | fb75a46ece4a47c1b289e95b52cbbc0fff739383 (patch) | |
| tree | a816650999c8bb11aa4df95f2580d5b9ebcd95db | |
| parent | e7010d03a146d6982f43f43571aa497099248b57 (diff) | |
tango-prefer-over-industrial.diff: Kill the Industrial theme.
Jimmac, the author of the theme, recommended that, and use Tango instead - n#304615.
| -rw-r--r-- | cui/source/options/optgdlg.src | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cui/source/options/optgdlg.src b/cui/source/options/optgdlg.src index dec9c4769481..b6041644dec2 100644 --- a/cui/source/options/optgdlg.src +++ b/cui/source/options/optgdlg.src @@ -244,7 +244,7 @@ TabPage OFA_TP_VIEW < "Automatic" ; > ; < "Galaxy (default)" ; > ; < "High Contrast" ; > ; - < "Industrial" ; > ; + < "Industrial" ; > ; // industrial is dead, but we have to keep the entry < "Crystal" ; > ; < "Tango" ; > ; < "Oxygen" ; > ; |