2009-03-10 5 views

ответ

12

Вы можете изменить цвет с помощью этого поля с помощью org.eclipse.ui.themes Extension-Point.

Вот пример фрагмент код

<extension 
     point="org.eclipse.ui.themes"> 
     <theme 
      id="de.spiritlink.custom.ui.theme" 
      name="Custom Theme"> 
     <colorOverride 
       id="org.eclipse.ui.workbench.ACTIVE_TAB_BG_END" 
       value="255,0,0"> 
     </colorOverride> 
     <colorOverride 
       id="org.eclipse.ui.workbench.ACTIVE_TAB_BG_START" 
       value="0,255,0"> 
     </colorOverride> 
     </theme> 
    </extension> 

Установки темы программно с IThemeManager, который представляет собой объект, который содержит ссылки на используемые ITheme объектов и сохраняет ссылку на активную тему. Эта тема будет использоваться инструментальными средствами, чтобы украсить вкладку папки и другие элементы управления, где это возможно:

PlatformUI.getWorkbench().getThemeManager().setCurrentTheme("myThemeID"); 

Другие подробности в thoses статьях:

Смежные вопросы