Hello everyone.
The mxflat theme allows you to set the title to whatever you want,
including placeholders for everything. Unfortunately the placeholders
for the height and with of the content (without borders) did not work.
Patch is attached.
Best Regards,
Bobby
>From 0d21bb2001c65964f9cbdf98f2678a274ffce778 Mon Sep 17 00:00:00 2001
From: Robert Zenz <[email protected]>
Date: Thu, 21 Mar 2013 00:12:58 +0100
Subject: [PATCH] Fixed $height-content and $width-content not being replaced
in title.
The problem was that $width would run first and so break $width-content.
I simply changed the order in which the replacement is happening, so
that $width-content gets replaced first.
---
themes/mxflat/theme.jl | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/themes/mxflat/theme.jl b/themes/mxflat/theme.jl
index e401975..afdb776 100644
--- a/themes/mxflat/theme.jl
+++ b/themes/mxflat/theme.jl
@@ -1835,14 +1835,14 @@ string color."
(window-name w))
(update-title "(.*)(\\$fullname)(.*)"
(window-full-name w))
- (update-title "(.*)(\\$width)(.*)"
- (car (window-frame-dimensions w)))
- (update-title "(.*)(\\$height)(.*)"
- (cdr (window-frame-dimensions w)))
(update-title "(.*)(\\$width-content)(.*)"
(car (window-dimensions w)))
(update-title "(.*)(\\$height-content)(.*)"
(cdr (window-dimensions w)))
+ (update-title "(.*)(\\$width)(.*)"
+ (car (window-frame-dimensions w)))
+ (update-title "(.*)(\\$height)(.*)"
+ (cdr (window-frame-dimensions w)))
(update-title "(.*)(\\$x-pos)(.*)"
(car (window-position w)))
(update-title "(.*)(\\$y-pos)(.*)"
--
1.7.10.4
