erlide/erlide — pull request #28 by vladdu (2011-11-10 09:56:01+00:00)
Title: fix for indentation after #938

forgot to account for the default partition type in the editor...