Tracker »

Issue 366 – Open remote file in editor by typing its name

: GUI
: Unspecified
: Enhancement
: High
: 0
: RESOLVED
: IMPLEMENTED
: 4.2.3
Raising priority
Implemented.