I guess it's Factor UI. It's nicely integrated (the words you've just added show up in help) and it does really suggest interactive development (for example, b

I guess it's Factor UI. It's nicely integrated (the words you've just added show up in help) and it does really suggest interactive development (for example, by auto-importing vocabularies for you). I miss the built-in editor, tho...