src/Tools/jEdit/patches/favorites
author wenzelm
Sun Feb 24 12:49:32 2019 +0100 (2 months ago ago)
changeset 70019 4419d4d675c3
parent 69795 a2218981a5d6
permissions -rw-r--r--
formal update of patches -- no change of content;
wenzelm@69795
     1
diff -ru 5.5.0/jEdit/org/gjt/sp/jedit/io/FavoritesVFS.java 5.5.0/jEdit-patched/org/gjt/sp/jedit/io/FavoritesVFS.java
wenzelm@69795
     2
--- 5.5.0/jEdit/org/gjt/sp/jedit/io/FavoritesVFS.java	2018-04-09 01:57:13.000000000 +0200
wenzelm@70019
     3
+++ 5.5.0/jEdit-patched/org/gjt/sp/jedit/io/FavoritesVFS.java	2019-02-24 12:20:21.702501903 +0100
wenzelm@69795
     4
@@ -70,7 +70,8 @@
wenzelm@69795
     5
 	public VFSFile[] _listFiles(Object session, String url,
wenzelm@69795
     6
 		Component comp)
wenzelm@69795
     7
 	{
wenzelm@69795
     8
-		return getFavorites();
wenzelm@69795
     9
+		if (url.equals(PROTOCOL + ':')) return getFavorites();
wenzelm@69795
    10
+		else return null;
wenzelm@69795
    11
 	} //}}}
wenzelm@69795
    12
 
wenzelm@69795
    13
 	//{{{ _getFile() method