なんとなく、GoogleIMEがデフォルトにならない（普通のIMEに戻る）ことが多々あり、解消するには再インストールが必要とのことでいったんアンインストール。 そのままほったらかしにしてたらあら不思議。スリープ後に復帰し…