v8.0.0626
Problem: In the GUI the cursor may flicker.
Solution: Check the cmd_silent flag before updating the cursor shape.
(Hirohito Higashi, closes #1637)
Problem: In the GUI the cursor may flicker.
Solution: Check the cmd_silent flag before updating the cursor shape.
(Hirohito Higashi, closes #1637)