pull-ui-20160202-1

Gerd Hoffmann

@kraxel.rh

56bdd4b6 · sdl: shorten the GUI refresh interval when mouse or keyboard is active · Feb 02, 2016

ui: gtk vc fix, adaptive sdl refresh.