DiavoloThe v0.4 of my source code editor Diavolo is available from here, as always. I think you'll like this new version:

  • line numbering can be hidden
  • click on a line number selects the line, and it's possible to extend the selection to other lines
  • much better copy/paste, drag and drop with whitespace preservation; still some issues with refresh though
  • much harder to freeze :-)
  • improvements in the CSS grammar

diavolo 20080701