Удалить историю сеанса DrRacket - PullRequest
0 голосов
/ 25 декабря 2018

Я использую Mac OSX, и как я могу удалить историю ввода DrRacket?
Я не нашел в папке что-то вроде .Racket_History или файлов такого типа
Спасибо.

Ответы [ 2 ]

0 голосов
/ 31 декабря 2018

В Mac OS X настройки хранятся в ~/Library/Preferences [*].В моих предпочтениях у меня есть три файла в этом каталоге, связанные с Racket & DrRacket:

  • org.racket-lang.DrRacket.plist
  • org.racket-lang.Slideshow.plist
  • org.racket-lang.prefs.rktd

Маловероятно, что у вас есть настройки для слайд-шоу, но другие, скорее всего, будут присутствовать.Вы можете удалить их, чтобы сбросить настройки.Или, как вы упомянули, вы можете использовать пункт меню!

[*] Если это еще не ясно, ~ относится к вашему домашнему каталогу.Извиняюсь, если вы уже знали это.

0 голосов
/ 25 декабря 2018

Я нашел
DrRacket -> Настройки -> Восстановить все настройки по умолчанию -> Перезагрузить

...