There are updated ubuntu packages for DELL mini 10/10v/12/9. You can use this with improve 'airplane mode' to control switch of recharge of Battery.
In default, by entering airplane mode with aircraft-manager, you might be surprised that DELL mini don't charge battery anymore!
After you replace this package, you can easily understand behavior of aircraft-manager.
source and binary packages are followings:
aircraft-manager_12.1miura1.diff.gz
aircraft-manager_12.1miura1.dsc
aircraft-manager_12.1miura1.orig.tar.gz
aircraft-manager_12.1miura1_lpia.deb