[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Denemo-devel] [bug #41432] Interrupting Typesetting
From: |
Richard Shann |
Subject: |
[Denemo-devel] [bug #41432] Interrupting Typesetting |
Date: |
Sun, 02 Feb 2014 09:33:53 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131030 Firefox/17.0 Iceweasel/17.0.10 |
URL:
<http://savannah.gnu.org/bugs/?41432>
Summary: Interrupting Typesetting
Project: Denemo
Submitted by: rshann
Submitted on: Sun 02 Feb 2014 09:33:51 AM GMT
Category: None
Severity: 3 - Normal
Item Group: None
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
When you change your mind about what to typeset you get a message referring to
printing, and asking about "killing" the job.
This would be better something like
"Currently typesetting xxx" with options
"Switch to yyy" "Continue with xxx"
which reminds me, we still don't have a general purpose option selection
built-in (except in scheme).
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?41432>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [Denemo-devel] [bug #41432] Interrupting Typesetting,
Richard Shann <=