いままで使っていたデスクトップのWindowsマシンと，6月に買ったMac miniを，1つのディスプレイ，1つのキーボードで切り替えて使っている。 ディスプレイはHDMI切替器を使っていて，ディスプレイのすぐ下で切り替えられるようにしている。でも，そのケーブル…