reduce refresh rate to 25 times persecond

This commit is contained in:
Joachim Schöberl 2019-10-23 18:47:31 +02:00
parent 751ab51902
commit c127711d4d
2 changed files with 4 additions and 4 deletions

View File

@ -1131,7 +1131,7 @@ proc timer2 { } {
}
}
after 10 { timer2 }
after 40 { timer2 }
}
# after 1000 { timer2 }
timer2

View File

@ -73,8 +73,6 @@ const char * ngscript[] = {""
,"set options.inverttets 0\n"
,"set options.inverttrigs 0\n"
,"set options.autozrefine 0\n"
,"set options.parallel_meshing 1\n"
,"set options.nthreads 4\n"
,"set options.meshsize 1000\n"
,"set options.minmeshsize 0\n"
,"set options.curvaturesafety 2\n"
@ -86,6 +84,8 @@ const char * ngscript[] = {""
,"set options.opterrpow 2\n"
,"set options.grading 0.5\n"
,"set options.printmsg 2\n"
,"set options.parallel_meshing 1\n"
,"set options.nthreads 4\n"
,"set debug.slowchecks 0\n"
,"set debug.debugoutput 0\n"
,"set debug.haltexistingline 0\n"
@ -1423,7 +1423,7 @@ const char * ngscript[] = {""
,"}\n"
,"}\n"
,"}\n"
,"after 10 { timer2 }\n"
,"after 40 { timer2 }\n"
,"}\n"
,"timer2\n"
,"proc bgerror { error } {\n"