Ignore:
Timestamp:
2011-03-25T18:27:29+01:00 (14 years ago)
Author:
zverik
Message:

make hiding of top line optional (reltoolbox plugin)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/relcontext/src/relcontext/RelContextDialog.java

    r25713 r25715  
    143143        });
    144144        downloadButton.setVisible(false);
    145         chosenRelationPanel.setVisible(false);
     145        if( Main.pref.getBoolean(PREF_PREFIX + ".hidetopline", false) )
     146            chosenRelationPanel.setVisible(false);
    146147
    147148        // [+][Multi] [X]Adm [X]Tags [X]1
     
    261262
    262263    public void chosenRelationChanged( Relation oldRelation, Relation newRelation ) {
    263         if( chosenRelationPanel != null )
     264        if( chosenRelationPanel != null && Main.pref.getBoolean(PREF_PREFIX + ".hidetopline", false) )
    264265            chosenRelationPanel.setVisible(newRelation != null);
    265266        if( Main.main.getCurrentDataSet() != null )
Note: See TracChangeset for help on using the changeset viewer.