Aesthetic improvements to chat widget. Also fixed the ghosting issue in a few areas by using repaint().
Restored "random" button next to "seed" button in mapcontainer widget when in hand-drawn mode.
#this file is included only when system Lua library is not found
file(GLOB lua_src *.c *.h)
if(WIN32)
add_definitions(-DLUA_BUILD_AS_DLL)
add_library(lua SHARED ${lua_src})
set(LUA_LIBRARY lua.dll)
set_target_properties(lua PROPERTIES PREFIX "")
install(TARGETS lua RUNTIME DESTINATION ${target_library_install_dir})
else(WIN32)
add_definitions(-DLUA_USE_LINUX)
add_library(lua STATIC ${lua_src})
set(LUA_LIBRARY lua)
endif(WIN32)