diff options
author | Stefan Dombrowski <stefan@uni-bonn.de> | 2010-08-21 22:56:44 +0200 |
---|---|---|
committer | Thorbjørn Lindeijer <thorbjorn@lindeijer.nl> | 2010-08-21 23:03:22 +0200 |
commit | 0009672b80c666b8a7ddc0b7c36951eba1fa2c35 (patch) | |
tree | f1ab1d7448db36c46639e629eb49519644394905 /Info.plist | |
parent | df91c40fa79629adb2652ed1b5141d943113a936 (diff) | |
download | mana-0009672b80c666b8a7ddc0b7c36951eba1fa2c35.tar.gz mana-0009672b80c666b8a7ddc0b7c36951eba1fa2c35.tar.bz2 mana-0009672b80c666b8a7ddc0b7c36951eba1fa2c35.tar.xz mana-0009672b80c666b8a7ddc0b7c36951eba1fa2c35.zip |
Fixing segmentation fault and improving gui for party
* Segmentation fault happened if a player left a party
while other party members are offline.
* While creating a party the key input is not anymore reused for game play.
* The vertical scrollbar is only shown when needed.
* The default height was raised, because before much of the functionality
was hidden.
Signed-off-by: Thorbjørn Lindeijer <thorbjorn@lindeijer.nl>
Diffstat (limited to 'Info.plist')
0 files changed, 0 insertions, 0 deletions