I'm just curious as to which library (if any) you used for code editing. It looks nifty!