document a way of reducing excessive frames

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

GNU General Public License v3.0

268 stars 70 forks source link

Closed freckletonj closed 6 years ago

david-christiansen commented 6 years ago

Sorry for dropping the ball on this. Life got really busy. @abailly is helping out with maintenance, so things should go quicker now.