Improve scratch buffer

use python syntax highlight for dumped stack