DockSituationIgnore ignore = situation.getIgnore(); if( ignore != null && ignore.ignoreElement( element )){ return null;
DockSituationIgnore ignore = situation.getIgnore(); if( ignore != null && ignore.ignoreElement( element )){ return null;
private boolean updateLayout( DockFrontendInternals frontend, Setting setting, boolean entry ) throws IOException, XException{ DockSituation situation = createSituation( frontend, entry, true ); DockSituationIgnore ignore = situation.getIgnore(); if( ignore == null ){ ignore = new DockSituationIgnore(){