nemo [Tue, 23 Oct 2012 11:14:08 -0400] rev 7802
Ok. Seems to me if you disconnect on any page, you should go to the main net page, since presumably you were in some part of net play. I think this should avoid ending up in a "lobby" after disconnecting
koda [Tue, 23 Oct 2012 15:52:06 +0100] rev 7801
lupdate -no-obsolete project_files/hedgewars.pro
nemo [Tue, 23 Oct 2012 07:34:33 -0400] rev 7800
tweak tab styling
koda [Tue, 23 Oct 2012 12:12:28 +0100] rev 7799
tweaks to win build script, hedgewars.pro now supports win32 target
nemo [Tue, 23 Oct 2012 04:06:12 -0400] rev 7798
tweak tab appearance to try to appease koda
koda [Tue, 23 Oct 2012 07:14:28 +0200] rev 7797
forgot modality for this widget
koda [Tue, 23 Oct 2012 07:05:24 +0200] rev 7796
disable feedback button for now
koda [Tue, 23 Oct 2012 07:03:07 +0200] rev 7795
set window modality also for custom dialogs, small text changes