| commit | f863dafef19cb202a82a1871a532bb5bb8f4fa53 | |
| author | Carlos R. Mafra <crmafra@gmail.com> | |
| Fri, 12 Apr 2013 01:46:12 +0000 (12 02:46 +0100) | ||
| committer | Carlos R. Mafra <crmafra@gmail.com> | |
| Fri, 12 Apr 2013 01:52:41 +0000 (12 02:52 +0100) | ||
| tree | 22d6431f48891c52267a46023a6cf2a183af3760 | treesnapshot (tar.gz zip) |
| parent | 311255a64618b1a2bf5c93476879a9fed7b0f3ea | commitdiff |
WPrefs: Avoid crash when config file does not contain wmdrawer settings
When first using the wmdrawer panel of WPrefs the settings
ClipAutoexpandDelay
ClipAutocollapseDelay
ClipAutoraiseDelay
ClipAutolowerDelay
are not yet saved in the user's config file and 'value' ends up
being undefined in showData() leading to a crash in adjustButtonSelectionBasedOnValue().
This patch is a workaround to make it possible to choose the config values for the
first time using WPrefs.
When first using the wmdrawer panel of WPrefs the settings
ClipAutoexpandDelay
ClipAutocollapseDelay
ClipAutoraiseDelay
ClipAutolowerDelay
are not yet saved in the user's config file and 'value' ends up
being undefined in showData() leading to a crash in adjustButtonSelectionBasedOnValue().
This patch is a workaround to make it possible to choose the config values for the
first time using WPrefs.
| WPrefs.app/Docks.c | diffblobblamehistory |