multi-part polygons

diff --git a/TODO.FACTOR.txt b/TODO.FACTOR.txt
index d615ba1e1983bf7dce22e463d7e33767fdb2c93a..95140dc75fd841b053848c20779e0ec3a3c767f6 100644 (file)
--- a/TODO.FACTOR.txt
+++ b/TODO.FACTOR.txt
@@ -7,11 +7,13 @@
 - [ ... is annoying\r
   perhaps on the last line of output, if a block doesn't fit, print\r
   it anyway?\r
-- fix first/last arrows\r
 - deallocate textures and display lists\r
+- nicer-looking buttons\r
+- pixelColor replacement\r
 \r
 + ui:\r
 \r
+- make-pane: if no input, just return pane-output\r
 - keyboard completion\r
 - get outliner working with lots of lines of output\r
 - listener continuations\r

diff --git a/factor/jedit/FactorPlugin.props b/factor/jedit/FactorPlugin.props
index 65d4ed2c81451abdf90a9a2b244ca4b12c67dde9..74804ea255a2f62f94e437672b7c4b7f2930cec6 100644 (file)
--- a/factor/jedit/FactorPlugin.props
+++ b/factor/jedit/FactorPlugin.props
@@ -6,9 +6,9 @@ plugin.factor.jedit.FactorPlugin.version=0.77
 plugin.factor.jedit.FactorPlugin.author=Slava Pestov
 plugin.factor.jedit.FactorPlugin.docs=/doc/jedit/index.html
 
-plugin.factor.jedit.FactorPlugin.depend.0=jedit 04.02.99.00
+plugin.factor.jedit.FactorPlugin.depend.0=jedit 04.03.03.00
 plugin.factor.jedit.FactorPlugin.depend.1=plugin errorlist.ErrorListPlugin 1.3.2
-plugin.factor.jedit.FactorPlugin.depend.2=plugin sidekick.SideKickPlugin 0.3.2
+plugin.factor.jedit.FactorPlugin.depend.2=plugin sidekick.SideKickPlugin 0.4
 plugin.factor.jedit.FactorPlugin.depend.3=plugin console.ConsolePlugin 4.0.2
 
 #! Menu