Changed scrollbar style, and some other changes:

* Changed the scrollbar style to look a bit nicer.
* Fixed a typo in the EventDispatcher class.
* Added PlayerStates to player.lua.
* Minor tweak to console tab spacing.
* Add unbinding key 'Ctrl+Shift+D' in the options.
This commit is contained in:
BeniS
2013-01-05 20:57:31 +13:00
parent ca46b5033e
commit 3fa5993177
10 changed files with 47 additions and 7 deletions

View File

@@ -124,6 +124,7 @@ end
function Options.terminate()
g_keyboard.unbindKeyDown('Ctrl+D')
g_keyboard.unbindKeyDown('Ctrl+F')
g_keyboard.unbindKeyDown('Ctrl+Shift+D')
optionsWindow:destroy()
optionsWindow = nil
optionsButton:destroy()