bug: when changing a slider value using the textbox the change only takes effect after reload

Question

max-ri opened this issue 5 years ago · 0 comments

max-ri commented 5 years ago

reported by TUGs