3e8ab0645b
And replace another show_cursor() usage with the new API. Reviewed-by: Carlos Soriano in IRC.
And replace another show_cursor() usage with the new API. Reviewed-by: Carlos Soriano in IRC.