From 6e148aa0d29fcf90d0686078c3d227ff1c078077 Mon Sep 17 00:00:00 2001
From: Chris Jones <cmsj@kodachi>
Date: Tue, 10 Jun 2008 00:58:28 +0100
Subject: [PATCH] document conf.f11_modifier

---
 doc/terminatorrc.5 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/terminatorrc.5 b/doc/terminatorrc.5
index 4e945823..f5e2a068 100644
--- a/doc/terminatorrc.5
+++ b/doc/terminatorrc.5
@@ -121,5 +121,9 @@ Default value: \fBFalse\fR
 .B handle_size
 Controls the width of the separator between terminals. Anything outside the range 0-5 (inclusive) will be ignored and use your default theme value.
 Default value: \fB-1\fR
+.TP 
+.B f11_modifier
+If this is set to true, the fullscreen keyboard shortcut changes from F11 (like many GNOME apps) to Ctrl-Shift-F11 (useful if you use terminal applications which expect to receive F11.
+Default value: \fBFalse\fR
 .SH "SEE ALSO"
 .BR gnome\-terminal(1)