minetest/minetest — pull request #722 by PilzAdam (2013-05-11 22:05:57+00:00)
Title: Dont use game filter in all tabs

The game filter will be only used in singleplayer tab. The textures from the game are only used there.
In the other tabs menu_{background,overlay,header,footer}.png is used.