Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • M MathJax
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 304
    • Issues 304
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 15
    • Merge requests 15
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Package Registry
    • Infrastructure Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • MathJax
  • MathJax
  • Merge requests
  • !1148

Retypeset if changes while typesetting

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Administrator requested to merge github/fork/jaredwindover/dev_Preview_Patch into develop Mar 31, 2015
  • Overview 5
  • Commits 1
  • Pipelines 0
  • Changes 1

Created by: jaredwindover

I think this is correct now. Made changes as per dpvc's suggestions. Added a flag mjPending to signal that the content has changed while the typesetting was happening. Setting the flag requeues CreatePreview(). This flag is then used for early exit instead of mjRunning This can close #1132 (closed).

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: github/fork/jaredwindover/dev_Preview_Patch