diff --git a/TODO.FACTOR.txt b/TODO.FACTOR.txt index d615ba1e19..95140dc75f 100644 --- a/TODO.FACTOR.txt +++ b/TODO.FACTOR.txt @@ -7,11 +7,13 @@ - [ ... is annoying perhaps on the last line of output, if a block doesn't fit, print it anyway? -- fix first/last arrows - deallocate textures and display lists +- nicer-looking buttons +- pixelColor replacement + ui: +- make-pane: if no input, just return pane-output - keyboard completion - get outliner working with lots of lines of output - listener continuations diff --git a/factor/jedit/FactorPlugin.props b/factor/jedit/FactorPlugin.props index 65d4ed2c81..74804ea255 100644 --- 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