Windows 8.1になって、モニターごとにDPIを設定できるようになりました。といっても、あるモニターにXdpi、別のモニターにはYdpiという指定はできないようです。DPIの設定は「すべての項目のサイズを変更する」に設けられた「小さくする」から「大きくする」…

あるアクションを引き起こす「モノ」を「リンク」とするか「ボタン」とするかは、何を基準に判断すればよいのでしょうか。ここでは最近の私の解釈を書きます。 最近の私の解釈 最近の私の解釈は「アクションが、ページの遷移かフォーカスの移動を発生させる…

Bandersnatchは便利ですねという話とBandersnatchを見て知ったPandocの機能について書きます。 Bandersnatch BandersnatchはMarkdownファイルをReveal.jsを使った格好いいスライドに変換するツールです。 使い方 GitHubプロジェクトに非常にわかりやすい導入…