Thread:Juraj103/@comment-31463564-20180129174913/@comment-31463564-20180401074547


 * Dunno it seems more appropriate, changed it
 * What about that Vandergrift thing?
 * @Mechemik how do I swap again the default editor?