changeset 101:e5c147a7bf98

Remove fexists(), it's not in use.
author Matti Hamalainen <ccr@tnsp.org>
date Fri, 06 Jul 2018 05:26:59 +0300
parents 51014de89824
children 287892b5eff8
files multipaint.pde
diffstat 1 files changed, 2 insertions(+), 8 deletions(-) [+]
line wrap: on
line diff
--- a/multipaint.pde	Fri Jul 06 03:19:00 2018 +0300
+++ b/multipaint.pde	Fri Jul 06 05:26:59 2018 +0300
@@ -201,18 +201,12 @@
 }
 
 
-void mpSetTitle(String str) {
+void mpSetTitle(String str)
+{
     console.log("TITLE: '" + str + "'");
 }
 
 
-boolean fexists(String fname) {
-    //  File f = new File(fname);
-    //  if (f.exists())return true;
-    return true;
-}
-
-
 function mpLoadFileSelector(fmtname, fmtexts, fcallback)
 {
     var mpUI = stGE("mpUI");