summaryrefslogtreecommitdiffstats
path: root/src/panel.inc
diff options
context:
space:
mode:
Diffstat (limited to 'src/panel.inc')
-rw-r--r--src/panel.inc1
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 ]