multi-part polygons
parent
a51e830088
commit
68330a986d
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue