Subject: bug#1754: 23.0.60; tool-bar is shown with tool-bar-mode off

From: martin rudalics <[email-masked]>
Date: Sat, 10 Jan 2009 11:04:18 +0100

>> So shall I apply the attached patch?
 >
 > I don't know: that was basically my question.

Then I won't.  It's not that much of an optimization.

martin