Greetings, fellow tilers of windows!
I've written a little patch for a friend, that enables the use of ^ after
a number in a format expansion string (such as *SCREEN-MODE-LINE-FORMAT*
or *WINDOW-FORMAT*) to trim from the left, instead of the right.
I picked the #\^ character because it's
At least, I think it's an improvement. Not 100% certain this won't
break anything elsewhere. Thoughts?
Ben
From b1c8de076469acb25bfb2679fb75f03d02c1b685 Mon Sep 17 00:00:00 2001
From: Ben Spencer dangerous@gmail.com
Date: Sat, 24 Oct 2009 15:12:05 +0100
Subject: [PATCH] Improved window-head