diff options
Diffstat (limited to 'src/panel.inc')
| -rw-r--r-- | src/panel.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/panel.inc b/src/panel.inc index c559c23..3fa078a 100644 --- a/src/panel.inc +++ b/src/panel.inc @@ -77,6 +77,7 @@ } { [ keyF2 0 "F2" /panel.lang /panel.lang.width /panel.lang.update /lang.init ] + [ keyF3 0 "F3" /panel.kernelopts /panel.kernelopts.width /panel.kernelopts.update /kernelopts.init ] "profiles" findfile dup { /profile.data exch def [ keyF3 0 "F3" /panel.profile /panel.profile.width /panel.profile.update /profile.init ] |