mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Sat, Nov 28, 2009 at 10:59:54AM +0100, El.douwen wrote:
> so my question: would it be possible to have a shortcut for exporting to 
> pdf ?

Sure, you can add a line in your personal initialization file.
As to the default behaviour, we are going to rework the entire
interface when the Qt port will be finished. The issue will be
address by then.