[sawfish] another small OPTIONS update

[Christopher Bratusek <chrisb src gnome org>]

commit e7d7ebaa09ddc62b0cf3d5ce692c513234a8ccbe
Author: chrisb <zanghar freenet de>
Date:   Fri May 8 17:54:02 2009 +0200

    another small OPTIONS update
---
 OPTIONS |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/OPTIONS b/OPTIONS
index fd71eff..984cb72 100644
--- a/OPTIONS
+++ b/OPTIONS
@@ -606,14 +606,14 @@
 
 ;; infinite-desktop options
 
-;; (define-special-variable dtm.infinite-desktop-p 1
+;; (define-special-variable infinite-desktop-p 1
 ;;   "Simulate an infinite desktop (Conflicts edge-flipping).")
 
-;; (define-special-variable dtm.infinite-desktop.move-distance 64
+;; (define-special-variable infinite-desktop.move-distance 64
 ;;   "Amount to move the workspace.")
 
-;; (define-special-variable dtm.infinite-desktop.move-cursor-distance 32
+;; (define-special-variable infinite-desktop.move-cursor-distance 32
 ;;   "Amount to move the cursor after moving the workspace.")
 
-;; (define-special-variable dtm.infinite-desktop.stop-at-workspace-borders nil
+;; (define-special-variable infinite-desktop.stop-at-workspace-borders nil
 ;;   "Stop scrolling at workspace borders (Fixes warp-to-window bugs).")