Save console messages #263, change settings names

This commit is contained in:
Henrique Santiago
2013-02-14 15:30:45 -02:00
parent 5fc1ac8051
commit 07dd78002b
3 changed files with 20 additions and 6 deletions

View File

@@ -182,11 +182,11 @@ end
function save()
local settings = {}
settings.splitterMarginBottom = bottomSplitter:getMarginBottom()
g_settings.setNode('GameInterface', settings)
g_settings.setNode('game_interface', settings)
end
function load()
local settings = g_settings.getNode('GameInterface')
local settings = g_settings.getNode('game_interface')
if settings then
if settings.splitterMarginBottom then
bottomSplitter:setMarginBottom(settings.splitterMarginBottom)