Search
Description
Martin Kraska (Tuesday, September 18, 2018 10:42 PM) #
empty stack issues fixed by switch from Terms to Entry.
Yet number format issues remain to be fixed.. This is visible only with optimization "none". with opt numeric display is correct.
Martin Kraska (Saturday, September 15, 2018 4:28 PM) #
Strange things happen. In a new region you can switch on redirection, but soon you get an error message (empty stack) at the region placeholder. You can still use the region, it reacts to mouse actions, yet the red boundary and the error message won't go.
Perhaps mouse redirection should be removed.