add margins, and limit title lengths
authorDana Jansens <danakj@orodu.net>
Tue, 28 Jan 2003 05:00:39 +0000 (05:00 +0000)
committerDana Jansens <danakj@orodu.net>
Tue, 28 Jan 2003 05:00:39 +0000 (05:00 +0000)
scripts/focus.py

index 7bbee7e..dcbf29e 100644 (file)
@@ -176,9 +176,11 @@ def focus_next_stacked(data, forward=1):
                     if client and (client.desktop() == desktop and \
                                    client.normal()):
                         t = client.title()
+                        if len(t) > 50: # limit the length of titles
+                            t = t[:24] + "..." + t[-24:]
                         titles.append(t)
                         _list_windows.append(c)
-                        l = font.measureString(t)
+                        l = font.measureString(t) + 10 # add margin
                         if l > longest: longest = l
                 if len(titles):
                     for t in titles: