Fix uptodate flag; remove spurious directory.

vectorgraphics · Jul 30, 2018 · 2157692 · 2157692
1 parent aba57e5
commit 2157692
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -66,6 +66,7 @@ GUI/*/__pycache__
 /opsymbols.h
 /types.symbols.h
 *.dSYM
+.DS_Store
 
 ### TeX-related
 ## Core latex/pdflatex auxiliary files:

diff --git a/GUI/res/.DS_Store b/GUI/res/.DS_Store
diff --git a/base/plain_shipout.asy b/base/plain_shipout.asy
@@ -108,6 +108,7 @@ void shipout(string prefix=defaultfilename, picture pic=currentpicture,
 	     string options="", string script="",
 	     light light=currentlight, projection P=currentprojection)
 {
+  pic.uptodate=true;
   if(!uptodate()) {
     bool inlinetex=settings.inlinetex;
     bool prc=prc(format);
@@ -134,8 +135,6 @@ void shipout(string prefix=defaultfilename, picture pic=currentpicture,
       shipout(prefix,orientation(f),format,wait,view,t);
     settings.inlinetex=inlinetex;
   }
-
-  pic.uptodate=true;
 }
 
 void newpage(picture pic=currentpicture)