From 829e9d30fe1dd23cdb9502d88bcf1b2ffe788cda Mon Sep 17 00:00:00 2001
From: id <id>
Date: Wed, 18 Apr 2001 22:08:34 +0000
Subject: [PATCH] add an option to virtual desktop

---
 src/defaults.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/defaults.c b/src/defaults.c
index c72f552f..bd7df817 100644
--- a/src/defaults.c
+++ b/src/defaults.c
@@ -441,6 +441,9 @@ WDefaultEntry optionList[] = {
     {"VirtualEdgeThickness", "1",   NULL,
         &wPreferences.vedge_thickness, getInt,        NULL
     },
+    {"VirtualEdgeExtendSpace", "0",   NULL,
+        &wPreferences.vedge_border, getInt,        NULL
+    },
     {"VirtualEdgeHorizonScrollSpeed", "1",  NULL,
         &wPreferences.vedge_hscrollspeed, getInt,     NULL
     },