bugDenemo - Bugs: bug #41432, Interrupting Typesetting

 
 

bug #41432: Interrupting Typesetting

Submitter:  Richard Shann <rshann>
Submitted:  Sun 02 Feb 2014 09:33:51 AM UTC
   
 
Category:  None
Severity:  3 - Normal Item Group:  None
Status:  Fixed Privacy:  Public
Assigned to:  None Originator Name: 
Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Tue 11 Feb 2014 10:45:17 AM UTC, comment #2: 

This is working reasonably now - there is only abandoning the current typesetting, I couldn't get it to switch to the new task...

Richard Shann <rshann>
Group administrator
Sun 02 Feb 2014 09:40:12 AM UTC, comment #1: 

Also, the progress-bar should be docked now in the print view as that is what it refers to.

Richard Shann <rshann>
Group administrator
Sun 02 Feb 2014 09:33:51 AM UTC, original submission:  

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).

Richard Shann <rshann>
Group administrator

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by rshann (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.

     

    Follow 2 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2014-02-11 rshann StatusNone Fixed
        Open/ClosedOpen Closed

    Back to the top

    Powered by Savane 3.12.
    Corresponding source code