3 Commits

Author	SHA1	Message	Date
Filippo Scognamiglio	dcb332b06f	Use scale transformation instead of shadereffectsource. Faster when reducing quality.	2014-12-11 01:20:51 +01:00
Santtu Lakkala	4b5827cb3e	Use window title from session. Fixes #167	2014-10-27 09:28:27 +02:00
Filippo Scognamiglio	438c50d775	Texture quality is actually working. (And also quite useful for high-dpi screens).	2014-10-11 01:24:20 +02:00