A scala-based mini text editor