More gui tweaks, focus polish
authorJimmy Christensen <dusted@dusted.dk>
Wed, 17 Sep 2014 11:53:04 +0000 (14:53 +0300)
committerJimmy Christensen <dusted@dusted.dk>
Wed, 17 Sep 2014 11:53:04 +0000 (14:53 +0300)
commitb42753737d4d754c6a9784ef8a20958c60c72272
tree8aa7efaf23c92910d8a8175ae04054b4f684e07c
parent822c53e063b1d2e99900a49e6cf3246f6f22deff
More gui tweaks, focus polish
src/fkgui/MainWin.java
src/fkgui/messages.properties