Commit 0323cc8a606ab7df7ec31610a544febee172d495 - jd-gui

Cleanup emmanue1 5 years ago

2 changed file(s) with 5 addition(s) and 6 deletion(s). Raw diff Collapse all Expand all

-1

22	22	public static final String FILTERS = "MavenOrgSourceLoaderPreferencesProvider.filters";
23	23
24	24	public static final String DEFAULT_FILTERS_VALUE =
25		"+org +com.google +com.ibm +com.jcraft +com.springsource +com.sun -com +java +javax +sun +sunw " +
	25	"+org +com.google +com.springsource +com.sun -com +java +javax +sun +sunw " +
26	26	"+spring +springframework +springmodules +tomcat +maven";
27	27
28	28	protected static final Pattern CONTROL_PATTERN = Pattern.compile("([+-][a-zA-Z_0-9$_.]+(\\s+[+-][a-zA-Z_0-9$_.]+))?\\s");

-5

services/src/main/java/org/jd/gui/view/component/DynamicPage.java less more

31	31	protected Container.Entry entry;
32	32	protected TypePage page;
33	33	protected URI lastOpenedUri;
34		protected Collection<Future<Indexes>> collectionOfFutureIndexes;
	34	protected Collection<Future<Indexes>> lastCollectionOfFutureIndexes;
35	35
36	36	public DynamicPage(API api, Container.Entry entry) {
37	37	super(new BorderLayout());

74	74
75	75	// --- IndexesChangeListener --- //
76	76	@Override public void indexesChanged(Collection<Future<Indexes>> collectionOfFutureIndexes) {
77		this.collectionOfFutureIndexes = collectionOfFutureIndexes;
78		page.indexesChanged(collectionOfFutureIndexes);
	77	page.indexesChanged(lastCollectionOfFutureIndexes = collectionOfFutureIndexes);
79	78	}
80	79
81	80	// --- LineNumberNavigable --- //

106	105	page.openUri(lastOpenedUri);
107	106	}
108	107
109		if (collectionOfFutureIndexes != null) {
110		page.indexesChanged(collectionOfFutureIndexes);
	108	if (lastCollectionOfFutureIndexes != null) {
	109	page.indexesChanged(lastCollectionOfFutureIndexes);
111	110	}
112	111	});
113	112	}