Sebastian Wick e85df00158 change setting "borderless" to "window border" ...

set window border on setting changes
disable window border checkbox in the launcher if fullscreen is enabled

2014-12-24 15:09:50 +01:00

..

openengine

change setting "borderless" to "window border"

2014-12-24 15:09:50 +01:00

platform

remove our stdint.h version that uses boost and force usage of system stdint.h

2014-03-05 17:08:58 +01:00