Maybe we can put a dropdown <select> and adjust the prefered editor using cookies in the same way we do with the admin language?
So it will be easy to switch from codemirror to ace and no need to edit the 0.py On Sun, Sep 9, 2012 at 4:35 PM, Marin Pranjić <marin.pran...@gmail.com>wrote: > It is not about the colors. Ace has smaller font and it looks more elegant > that way. > Maybe it's just me... :) > > And the edit box is larger by default: http://i49.tinypic.com/19o3g1.jpg > > Dana nedjelja, 9. rujna 2012. 21:25:37 UTC+2, korisnik Massimo Di Pierro > napisao je: > >> I changed the web2py codemirror style. We can still work on it.... >> >> On Sunday, 9 September 2012 14:16:17 UTC-5, Massimo Di Pierro wrote: >>> >>> Which theme di you like better? >>> http://codemirror.net/demo/**theme.html<http://codemirror.net/demo/theme.html> >>> >>> On Sunday, 9 September 2012 14:00:01 UTC-5, Marin Pranjić wrote: >>>> >>>> Is there anything that actually works on IE? >>>> >>>> codemirror works for me (ubuntu, Firefox15). >>>> >>>> But ace has nicer look. >>>> >>>> Dana nedjelja, 9. rujna 2012. 20:52:34 UTC+2, korisnik Massimo Di >>>> Pierro napisao je: >>>>> >>>>> If we move to codemirror (and we should) what do we get rid of >>>>> (editarea, amy, ace)? We cannot ship with 4 editors. >>>>> >>>>> >>>> Maybe pack them as plugins? >>>> >>> -- > > > > --
