Menu now shrinks when closed instead of disappearing
[supertux.git] / contrib / kdevelop /
2006-03-25 Matthias Braununofficial kdevelop project