Eclipse WikiText: как установить css для предварительного просмотра?
Используя Eclipse 2020-09 (iev 4.17) IDE для Java (в Linux, openSUSE Tumbleweed) с установленным плагином Mylyn WikiText версии 3.0.38, я столкнулся со следующей трудностью: хотя почти все шрифты редактора/интерфейса были в порядке, HTML предварительный просмотр файлов WikiText (в частности, README.md!), отображаемых нечитаемо мелким шрифтом (мой дисплей имеет очень маленький шаг пикселя). Поэтому я хотел найти способ установить CSS для таких страниц предварительного просмотра. Документы Mylyn WikiText (по адресу https://help.eclipse.org/2020-09/index.jsp?topic=%2Forg.eclipse.mylyn.wikitext.help.ui%2Fhelp%2FMylyn+WikiText+User+Guide.html , под заголовком «Визуализация внешнего вида») говорит, что должен быть экран «Настройки» «Общие»> «Редакторы»> «Текстовый редактор»> «Викитекст»> «Внешний вид», который позволяет установить этот CSS. Однако,
Единственный способ, который я смог найти для исправления этого, заключался в использовании приложения (например, Engrampa), которое может редактировать содержимое файлов .jar, и в моем каталоге установки eclipse использовать его на plugins/org.eclipse.mylyn.wikitext.ui_3.0.[SPECIFIC_VERSION_HERE].jar для редактирования внутреннего компонента org/eclipse/mylyn/internal/wikitext/ui/viewer/default.css -- я мог изменить там любой css, и после перезапуска Eclipse изменения вступит в силу.
Однако ясно, что любые изменения, которые я делаю таким образом, будут утеряны при следующем обновлении Eclipse или Mylyn Wikitext. Кто-нибудь знает лучший способ установить размер текста предварительного просмотра? Была ли удалена эта панель «Внешний вид», упомянутая в документах? Если да, то чем его заменили? Если нет, есть идеи, почему я не вижу этого?