Tracker »

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

Component: GUI

Version: Unspecified

Severity: Enhancement

Priority: High

Votes: 0

Status: RESOLVED

Resolution: IMPLEMENTED

Implemented in: 4.2.3

Raising priority

Implemented.

Documentation