10.6.2.1740.13 K-F5 k-f-5 FACILITY EXT
( -- u )
Leaves the value u that the sequence EKEY EKEY>FKEY would produce when the user presses the "F5" key.
Leaves the value u that the sequence EKEY EKEY>FKEY would produce when the user presses the "F5" key.