예제 #1
0
 @Override
 public void propertyChange(PropertyChangeEvent event) {
   for (SourceRenderer rnd : m_renderers) {
     rnd.onPropertiesChanged(event);
   }
   String property = event.getProperty();
   if (property.equals(FontKey.CODE.getPreferenceName())) {
     applyItemHeight();
     getGrid().getColumn(CodeViewerColumn.LINE_NO.ordinal()).pack();
   }
   getGrid().redraw();
 }