Re: ANN: LilyPondTool 2.12.858 Release Candidate

[Mark Polesky]

Bertalan Fodor wrote:
> Note: You can work around that bug, if you turn off "Follow
> caret" feature (and only turn on temporarily when looking for a
> note's position in the score).

Maybe "Follow Caret" should be unselected by default?

Clicking on "Hide Toolbar" forces the user to open the Plugin
Options window. Maybe you could add a menu item called
"Show/Hide Toolbar" in Plugins > LilyPondTool > Process/view.

PDF Viewer
Even better. Thanks for the manual zoom stuff!

Virtual Piano
Strange that it would be difficult to make the buttons smaller. Of
course I know nothing about developing for jEdit, so I'm not
complaining -- it's still a cool feature!

BTW I got the permission denied error again, but maddeningly, I
can't figure out what I did to trigger it.

The error output is below.
Hope this helps.
- Mark

java.lang.NullPointerException
    at console.Console.handleMessage(Console.java:291)
    at org.gjt.sp.jedit.EditBus.send(EditBus.java:148)
    at 
org.gjt.sp.jedit.gui.DockableWindowManagerImpl$3.actionPerformed(DockableWindowManagerImpl.java:569)
    at javax.swing.AbstractButton.fireActionPerformed(Unknown Source)
    at javax.swing.AbstractButton$Handler.actionPerformed(Unknown Source)
    at javax.swing.DefaultButtonModel.fireActionPerformed(Unknown Source)
    at javax.swing.DefaultButtonModel.setPressed(Unknown Source)
    at javax.swing.AbstractButton.doClick(Unknown Source)
    at javax.swing.plaf.basic.BasicMenuItemUI.doClick(Unknown Source)
    at javax.swing.plaf.basic.BasicMenuItemUI$Handler.mouseReleased(Unknown 
Source)
    at java.awt.Component.processMouseEvent(Unknown Source)
    at javax.swing.JComponent.processMouseEvent(Unknown Source)
    at java.awt.Component.processEvent(Unknown Source)
    at java.awt.Container.processEvent(Unknown Source)
    at java.awt.Component.dispatchEventImpl(Unknown Source)
    at java.awt.Container.dispatchEventImpl(Unknown Source)
    at java.awt.Component.dispatchEvent(Unknown Source)
    at java.awt.LightweightDispatcher.retargetMouseEvent(Unknown Source)
    at java.awt.LightweightDispatcher.processMouseEvent(Unknown Source)
    at java.awt.LightweightDispatcher.dispatchEvent(Unknown Source)
    at java.awt.Container.dispatchEventImpl(Unknown Source)
    at java.awt.Window.dispatchEventImpl(Unknown Source)
    at java.awt.Component.dispatchEvent(Unknown Source)
    at java.awt.EventQueue.dispatchEvent(Unknown Source)
    at java.awt.EventDispatchThread.pumpOneEventForFilters(Unknown Source)
    at java.awt.EventDispatchThread.pumpEventsForFilter(Unknown Source)
    at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
    at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
    at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
    at java.awt.EventDispatchThread.run(Unknown Source)