Цвет выделения обратного поиска TeXShop

Цвет выделения обратного поиска TeXShop

[EDIT 18 января 2015: Это исправлено в 3.49! Спасибо Ричарду Коху и компании. Скопировано изhttp://pages.uoregon.edu/koch/texshop/version.html:

Добавлены три скрытых параметра, которые позволяют пользователям изменять желтый цвет выделения на другой цвет при использовании обратной синхронизации из окна PDF в исходный текст. Это полезно, если пользователь изменил цвета по умолчанию исходного окна. Новые элементы:

по умолчанию запись TeXShop ReverseSyncRed 1.00

по умолчанию запись TeXShop ReverseSyncGreen 1.00

по умолчанию запись TeXShop ReverseSyncBlue 0.00

]

Обратный поиск в TeXShop, вызываемый нажатием клавиши command и щелчком по окну Preview, переходит к соответствующему источнику. Это замечательная функция, но текст, к которому я перехожу, выделяется желтым цветом, который очень трудно увидеть. Кроме того, пока я не щелкну в окне исходного кода, любой выбранный мной текст (например, с помощью shift + клавиши со стрелками) также выделяется тем же трудноразличимым цветом, в отличие от моего системного стандарта для выделения (фиолетовый). Это происходит, даже если фокус находится на окне источника.

Кажется, это встроенная функция TeXShop, без соответствующих настроек. Есть ли способ задать цвет подсветки?

У меня TeXShop 3.48.1, OSX 10.10.1.

Связанный контент