Ну, так возможно у вас шрифт был больше, а сейчас стал меньше из-за того что вернулись к исходным настройкам. Попробуйте задать 110% размер или 125%… Тот что справа — визуально меньше того что был…
Ну либо зайдите в системные настройки, выберите ace и там жестко забейте размер и тему редактора…
Олег 05.11.2018 00:33 #
Алексей Либер 05.11.2018 06:03 #
Антон 05.11.2018 06:26 #
Алексей Либер 05.11.2018 08:25 #
Ну либо зайдите в системные настройки, выберите ace и там жестко забейте размер и тему редактора…
Антон 07.11.2018 08:30 #
Вот мои настройки: