From: Bertalan F. (LilyPondTool) <lil...@or...> - 2009-11-17 14:25:11
|
Hi, I just installed jEdit on a clean system, and found annoying that end of line markers are turned on by default. Many people find this annoying (google for "annoying jedit end of line marker"), so based on a discussion originally made in 2007, and some requests from the users of my LilyPondTool plugin, I created a bug report about this. https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2898997&group_id=588 Though the majority of the original discussion's participants (http://marc.info/?l=jedit-users&m=118997998630016&w=2) supported turning this feature off by default, to gather more user opinion on this, please vote: http://doodle.com/he292affcxh9epdr Thanks, Bert |