SVNPlugin Browse Dockable: refresh in context menu

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Status: open

Owner: Dale Anson

Labels: None

Priority: 5

Updated: 2013-03-26

Created: 2013-03-26

Private: No

The refresh button in the toolbar is nice, but it should also be in the context menu for the tree browser.