10:32:10 putty でググろうとすると、「ぷっちょ」が候補に出てくることが判明 10:42:48 二つ開いている putty を区別するため背景色を RGB 40,40,0 とかにしてみた。コントラストが弱くなって、見やすくなった気がする 10:49:16 あー、また砂糖入れ忘れた .…