web2py/web2py — pull request #103 by ilvalle (2013-06-09 17:54:36+00:00)
Title: fix admin editor  (full-screen and theme selector)

fixed:
- inconsistent spacing between the style dropdown and the rest of the buttons on the right above the editor
- theme selected is applied to the new tabs too
- full-screen fix

(tested on FF and Chrome on top ubuntu 12.04)