2017-11-30から1日間の記事一覧
デスクトップをアイコンで散らかすのはなんだかなあと思い、標準機能だけで何とかならんかと試行した結果、この形に落ち着いた。 散らかすのはなぜやめるべき? 解決案: 別のフォルダをデスクトップとして扱う 散らかすのはなぜやめるべき? Windows の動作…
タイトルを変える $newname = input("Input a new title."); if(result==false){ endmacro; } title $newname, 0; title -1, 0; endmacro; タブ名を変える $newname = input("Input a new tabname."); if(result==false){ endmacro; } title $newname, 3; ti…