kr.angelov 2c9906336d a better solution for restoring the state of the main activity when the device is flipped. This one doesn't require hacks.

2014-04-24 18:50:20 +00:00

..

android

a better solution for restoring the state of the main activity when the device is flipped. This one doesn't require hacks.

2014-04-24 18:50:20 +00:00

gwt

fix the grammar browser in the editor

2011-03-08 12:32:51 +00:00