+- Ludii Forum (https://ludii.games/forums)
+-- Forum: Problems (https://ludii.games/forums/forumdisplay.php?fid=5)
+--- Forum: Ludii Player Problems (https://ludii.games/forums/forumdisplay.php?fid=6)
+--- Thread: Editor (/showthread.php?tid=111)
Editor - dale walton - 08-06-2020
Lots of difficulty with the editor: Mainly, if I enter an extra ")" it truncates the end of the file so I need to make sure there is always an excess of "("
The pop-up hel also destroys what I am working on, and selection of text for copy/paste disappears by itself in around a second.
RE: Editor - cambolbro - 08-06-2020
Hi,
I'll be doing some work on the editor soon (next week?) so will look into these issues.
Regards,
Cameron