-
I also experienced this, but not always, and I spent a terrible amount of time into investigation. It seems that there is a bug in Java MIDI implementation, but I was not able to track it down, as it is not open native code.
What I experienced: if I reopen the virtual keyboard, the last note (or even notes) are inserted at that moment. It seems that the MIDI driver sends the same notes again...
2009-11-19 22:11:56 UTC in LilyPondTool for JEdit
-
Then I think it should be a separate way of running Lily, a command for running on a temporary copy.
2009-11-19 12:23:44 UTC in LilyPondTool for JEdit
-
This request needs a bit more elaboration.
What is the use case when it is actually annoying?
I can imagine one: just quickly check an idea or snippet without wanting to save it persistently.
2009-11-19 08:38:45 UTC in LilyPondTool for JEdit
-
Will it be released some time?.
2009-11-18 09:16:02 UTC in jEdit
-
The display of line end markers is not just one of many configurable settings.
It is the one unique setting that drives new jedit users crazy.
Do you think it is not a bug that the first impression of jedit for the majority of the users (see the voting and google, and not theory).
I have some very arguments:
- google for annoying jedit line ending marker
- end of line markers are not...
2009-11-17 23:10:21 UTC in jEdit
-
Eric, I might miss Jeff's point there, but in generated HTML I'm usually not so interested in whitespace. Using a good formatter, like what is in Eclipse it can be eliminated.
Anyway, Jeff doesn't use end of line markers :)
If you tend to burn yourself with whitespace, then turn it on, I'm very very confident, that most programming code become unreadable using end of line markers. Especially...
2009-11-17 19:59:53 UTC in jEdit
-
fodber committed revision 886 to the LilyPondTool for JEdit SVN repository, changing 1 files.
2009-11-17 15:56:03 UTC in LilyPondTool for JEdit
-
I've created a voting: http://doodle.com/he292affcxh9epdr
You can publish this to the user's list.
2009-11-17 12:25:09 UTC in jEdit
-
The thread starts here:
http://marc.info/?l=jedit-users&m=118997998630016&w=2
Most people involving agreed, except Vampire, who only had a no-argument argument "They are very useful and many people wouldn't switch them on because they don't know about. If someone cares, he can switch it off."
My opinion is that MOST people care (just google for "annoying jEdit end of line markers"), and...
2009-11-17 11:07:46 UTC in jEdit
-
fodber committed revision 885 to the LilyPondTool for JEdit SVN repository, changing 21 files.
2009-11-17 10:35:44 UTC in LilyPondTool for JEdit
