From 5f845e9f2d3c6b8e4459651351faa760665d7463 Mon Sep 17 00:00:00 2001
From: "Silas S. Brown" <ssb22@cam.ac.uk>
Date: Mon, 12 Mar 2012 16:52:39 +0000
Subject: [PATCH] Gradint update
git-svn-id: http://svn.code.sf.net/p/e-guidedog/code/ssb22/gradint@1296 29193198-4895-4776-b068-10539e920549
---
gradint-build/src/frontend.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gradint-build/src/frontend.py b/gradint-build/src/frontend.py
index 9c959e3..670a032 100644
--- a/gradint-build/src/frontend.py
+++ b/gradint-build/src/frontend.py
@@ -470,7 +470,7 @@ def startTk():
if winsound or cygwin or macsound: self.master.resizable(1,0) # resizable in X direction but not Y (latter doesn't make sense, see below). (Don't do this on X11 because on some distros it results in loss of automatic expansion as we pack more widgets.)
elif unix:
import commands
- if commands.getoutput("xlsatoms|grep COMPIZ").find("COMPIZ")>-1:
+ if commands.getoutput("xlsatoms|grep COMPIZ_WINDOW").find("COMPIZ")>-1: # (not _COMPIZ_WM_WINDOW_BLUR, that's sometimes present outside Compiz)
# Compiz sometimes has trouble auto-resizing our window (e.g. on Ubuntu 11.10)
self.master.geometry("%dx%d" % (self.winfo_screenwidth(),self.winfo_screenheight()))
if not GUI_always_big_print: self.todo.alert = "Gradint had to maximize itself because your window manager is Compiz which sometimes has trouble handling Tkinter window sizes"
--
GitLab