家でのんびりかというとそうでもなく、宅内整理である。燃えるゴミの回収日が月曜日じゃないのが面倒くさい......。(WH)』の再配達を依頼して、受け取るなど。収まるサイズじゃなかった。解体準備が着々と進行中。ラックを解体して、来週末にクールラックを設置できれば、そこにいろいろ整理して詰め込んで、再来週末に回線工事。......なのだけれど、平日の帰りが遅くてなかなか作業が進まないので、この予定はあくまでも理想ということで。近所の押しボタン式信号機の設定がまともに近所の横断歩道の歩行者用押しボタンが新型に交換されたのは記憶に新しいところだが、つい最近、設定が大幅に変更された様子である。分間続くと信号が変わる。ものすごく長く感じる。近くの信号機と連動してる。秒以内くらいで信号が変わる。ボタンを押すと、すぐに信号が変わる。歩行者信号が赤で車両用信号が青のときに押した場合、押し込んだ瞬間に車両用信号が黄に変わる。車両用信号が青になった直後でも容赦なくこの動作をするので、いたずらでボタンを連打したらきっとドライバーに怒鳴られる。分間続くと信号が変わる。秒以内くらいで信号が変わる。変更の理由は不明だが、まともになった気がする。Launcher』の先日のメジャーアップデートを機に設定項目を再確認したところ、ホーム画面のグリッド数がかなり増やせることに気づいた。入れた当時には気づいてなかったな。グリッド数を増やせば個々のグリッドが細かくなるので、ウィジェットやアイコンをたくさん配置したり、ウィジェットのサイズを細かく調整したりできるようになる。Widgetアイコンをグリッドサイズよりも小さくして、たくさん配置するウィジェット。グリッドを細かくすれば、おのずと不要に。このショートカットをいくつも登録して、それぞれで擬似的にフォルダを開いてた。標準のフォルダ機能を使えばいい。未対応のアイコンパックのアイコンを設定するために使ってた。標準機能を使えばいい。統一できて、いいことずくめ。同じことをやろうとすると、こういうウィジェットやアプリの助けは不可避だろうな。アプリが起動し、スワイプすればフォルダがひらくように設定してあったり:うむー、イイ感じ。この使い方にもっと早く気づけばよかった。歩サクッと半袖ワイシャツへ衣替えゴールデンウィーク翌週にボタンダウンの長袖ワイシャツへ衣替えをして、『職場内がとにかく冷えまくるので、しばらくはノーネクタイの長袖ワイシャツという平凡なクールビズスタイルで乗り切る予定』などと書いたばかりだけれど、社内の冷房が極端に強いとき以外は腕まくりをしてることに加え、車内も暑くなりつつあるので、もういいかなと。長袖ワイシャツって、いくら腕まくりしたところで生地の厚さが違うし、まくってる箇所の通気性が最悪なので、半袖ワイシャツの涼しさにはかなわないのである。曇りの日は腕まくりなし、快晴の日は腕まくりあり。