Ticket #15711: italic_font_for_nonzero_offsets.patch

File italic_font_for_nonzero_offsets.patch, 2.3 KB (added by skorbut, 6 years ago)
  • src/org/openstreetmap/josm/gui/dialogs/LayerListDialog.java

     
    4242
    4343import org.openstreetmap.josm.Main;
    4444import org.openstreetmap.josm.actions.MergeLayerAction;
     45import org.openstreetmap.josm.data.coor.EastNorth;
    4546import org.openstreetmap.josm.data.preferences.AbstractProperty;
    4647import org.openstreetmap.josm.gui.MainApplication;
    4748import org.openstreetmap.josm.gui.MapFrame;
     
    5657import org.openstreetmap.josm.gui.dialogs.layer.MoveDownAction;
    5758import org.openstreetmap.josm.gui.dialogs.layer.MoveUpAction;
    5859import org.openstreetmap.josm.gui.dialogs.layer.ShowHideLayerAction;
     60import org.openstreetmap.josm.gui.layer.AbstractTileSourceLayer;
    5961import org.openstreetmap.josm.gui.layer.JumpToMarkerActions;
    6062import org.openstreetmap.josm.gui.layer.Layer;
    6163import org.openstreetmap.josm.gui.layer.LayerManager.LayerAddEvent;
     
    535537            Layer layer = (Layer) value;
    536538            JLabel label = (JLabel) super.getTableCellRendererComponent(table,
    537539                    layer.getName(), isSelected, hasFocus, row, column);
     540
     541            // bold font for active layer
    538542            if (isActiveLayer(layer)) {
    539543                label.setFont(label.getFont().deriveFont(Font.BOLD));
    540544            }
     545
    541546            if (Config.getPref().getBoolean("dialog.layer.colorname", true)) {
    542547                AbstractProperty<Color> prop = layer.getColorProperty();
    543548                Color c = prop == null ? null : prop.get();
     
    552557                    label.setForeground(c);
    553558                }
    554559            }
     560
     561            // italic font for imagery layers with non-zero offset
     562            if (layer instanceof AbstractTileSourceLayer<?> &&
     563                    !(EastNorth.ZERO.equals(((AbstractTileSourceLayer<?>)layer).getDisplaySettings().getDisplacement()))) {
     564                Font oldFont = label.getFont();
     565                label.setFont(oldFont.deriveFont(oldFont.getStyle() | Font.ITALIC));
     566            }
     567
    555568            label.setIcon(layer.getIcon());
    556569            label.setToolTipText(layer.getToolTipText());
    557570            return label;