On Sat, 31 Aug 2013 09:53:26 +1000, Steven D'Aprano wrote: > On 31/08/13 06:47, Bob wrote: >> On Thu, 29 Aug 2013 15:58:51 +0000, thufir wrote: >> >>> Can we add a button to toggle "mute quoted text" so that it's easier >>> to read with just a mouse? Generally I like it muted, but then every >>> once in a while want to unmute (or the other way around) and have to >>> reach for the keyboard. Oh, the misery! >>> >>> >>> -Thufir >> >> In Pan 0.139 "Q" does that.. > > That would be the "reach for the keyboard" part that Thufir describes as > "misery". He is not complaining about a lack of keyboard shortcut, but > the lack of *mouse* support for muting. Either Thufir was unaware that > there is a menu command accessible with three clicks View > Body Pane > > Mute quoted text) or he knew about it but wanted a single-click button. > > Thufir, does the three-click menu item solve your problem, or do you > still want a button? > > I think this would be a fairly straight forward feature request. Perhaps > you should just add it to the bug tracker as an enhancement? Now if only > I could remember where the Pan bug tracker was...
Gahd, he must be lazy.. bob _______________________________________________ Pan-users mailing list Pan-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/pan-users
