Есть ли способ программно изменить цвет вкладки редактора в моем плагине Eclipse? - PullRequest
0 голосов
/ 25 июня 2018

У меня есть SharedHeaderFormEditor в моем плагине Eclipse RCP.

Одно из моих требований - привлечь внимание к вкладке редактора, когда что-то происходит вне редактора и требует обновления.

Некоторые из обсуждаемых идей включали

  • изменение цвета вкладки
  • добавление значка в текст редактора (вместо стандартного * для грязного редактора))

Возможно ли одно из этих?Я искал вокруг и не нашел ничего, что могло бы решить эту проблему.

Спасибо!

1 Ответ

0 голосов
/ 12 июля 2018

ViewPart и EditorPart позволяют изменять метку и значок заголовка (setPartName(…) и setTitleImage(…) соответственно).Eclipse Workbench также предлагает IWorkbenchPartProgressService для каждой части, что позволяет детали указывать, что она занята (через incrementBusy() / decrementBusy()) и что ее содержимое изменилось (через warnOfContentChange()).Это можно увидеть в Поисках и Консоли (org.eclipse.search2.internal.ui.SearchView и org.eclipse.ui.internal.console.ConsoleView).

.
...