On 28 March 2010 07:07, Julian Lam <[email protected]> wrote: > I do agree that eliminating trailing spaces is a good idea to implement, but > as of right now, it's a little too obtrusive. > > What if there were an option (defaulted to on), "eliminate trailing spaces"? >
I use a plugin that eliminates the trailing spaces when saving the file. Tonic _______________________________________________ gnome-devtools mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-devtools
