This patch is fixing some text truncation in the ergonomic and hot corner preference tabs.
Add a new "Hot Corner Shortcut Preferences" section to WPrefs to configure the Hot Corners feature.