5 Jan
2010
5 Jan
'10
8:14 p.m.
On Jan 5, 2010, at 2:40 AM, enas wrote:
On 4 Jan 2010, at 21:33, David Whetstone wrote:
This heuristic looks pretty broken to me. The preference setting should always take precedence.
I second that.
I remember I posted some time ago with the exact same suggestion, and that's indeed how I modified the script for myself.
You could submit a patch. ;)
—Alex