Tracker »

Issue 986 – F5 shortcut to reload file in internal editor

: GUI
: Unspecified
: Enhancement
: Medium
: 0
: RESOLVED
: IMPLEMENTED
: 5.2
Implemented.