diff gui/ui/gtk/menu.c @ 35085:5a9728bbb51e

Move some code around in preparation for following patch.
author reimar
date Thu, 13 Sep 2012 19:15:37 +0000
parents 6a6b32a9b6b1
children a78e2453e188
line wrap: on
line diff