[Denemo-devel] [bug #41432] Interrupting Typesetting

[Richard Shann]

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/