From b93c6df46cb3952d998048f30b4de62506baef57 Mon Sep 17 00:00:00 2001
From: Jeff Bigot <jeff.bigot@wanadoo.fr>
Date: Fri, 26 Dec 2008 16:29:14 +0100
Subject: [PATCH] change "extra/4DNav" to "resource:extra/4DNav"

---
 extra/4DNav/4DNav.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extra/4DNav/4DNav.factor b/extra/4DNav/4DNav.factor
index 745259bd29..3a0543df1a 100755
--- a/extra/4DNav/4DNav.factor
+++ b/extra/4DNav/4DNav.factor
@@ -293,7 +293,7 @@ VAR: present-space
  closed-quot  <roll-button> { 0 0 } >>align ;
 
 : <list-runner> ( -- gadget )
-    "extra/4DNav" 
+    "resource:extra/4DNav" 
   <pile> 1 >>fill 
     over dup directory-files  
     [ ".xml" tail? ] filter