Styles for the new preferences
New options menu shown near the menu button (easier to click with the
mouse...)
new View.getTop() and View.getLeft() methods
New preferences with summary text and checkbox/listbox at the right