Open vkrupsky opened 2 months ago
DrRacket does not allow me to change the color of the caret and customize its display style. I tried to search for the necessary parameters on all tabs in the Preferences window. (Edit-> Preferences) But I couldn't find anything suitable
DrRacket does not allow me to change the color of the caret and customize its display style. I tried to search for the necessary parameters on all tabs in the Preferences window. (Edit-> Preferences) But I couldn't find anything suitable