Drop unused options variable

2012-02-20 10:04:55 +01:00 · 2012-02-20 10:04:55 +01:00 · 00913cc4d6
parent 095a00b912
commit 00913cc4d6
1 changed files with 0 additions and 1 deletions
--- a/options.h
+++ b/options.h
@ -336,7 +336,6 @@ public:
    // General preferences
    HiddenPreviews hiddenPreviews;
    bool unredirectFullscreen;
-    bool disableCompositingChecks;
    // OpenGL
    int glSmoothScale;  // 0 = no, 1 = yes when transformed,
    // 2 = try trilinear when transformed; else 1,