diff gui/app/gui.h @ 36812:e6823a005ab6

Add some extra checks to avoid potential crashes. Should avoid the issues described in #2127.
author reimar
date Sun, 23 Feb 2014 19:09:08 +0000
parents 28ea255e40ce
children e8d545fe74ac
line wrap: on
line diff