Re: [fricas-devel] [PATCH] misc fix "filecopy" "|waitForViewport|"

2024-05-01 Thread Waldek Hebisch
On Wed, May 01, 2024 at 06:43:56PM +0800, Qian Yun wrote: > For "filecopy", it's absurd to do IO char by char. > > For "|waitForViewport|", this is left over of the previous > "obey" -> "|run_shell_command|" change. Also avoid spawning > lot's of threads. OK, please commit. --

[fricas-devel] [PATCH] misc fix "filecopy" "|waitForViewport|"

2024-05-01 Thread Qian Yun
For "filecopy", it's absurd to do IO char by char. For "|waitForViewport|", this is left over of the previous "obey" -> "|run_shell_command|" change. Also avoid spawning lot's of threads. - Qian diff --git a/src/graph/Gdraws/Gfun.c b/src/graph/Gdraws/Gfun.c index 292f8b3b..2ec625c3 100644