provide Ctrl+R as another shortcut (in addition to F5) for Reload

Description

provide Ctrl+R as another shortcut (in addition to F5) for Reload
for greater Moz and IE behaviour compat

Details

Committed
aseigoDec 21 2003, 9:23 AM
Parents
R883:274139: CVS_SILENT: updated translations
Branches
Unknown
Tags
Unknown