Add tab settings for kernel dev; add ditaa support