inkdrop - Minimum Header

default	minimum

エディタ領域だけ表示して使う場合にヘッダ部分を狭くして広く使いたいと思うことがよくあるのでオレオレコマンドを書いてみた。

window 幅をもうちょっと狭くできるようにしたいので init.js に ↓ も記述しておく。

inkdrop.window.setMinimumSize(400, 400)

キーマップも定義

'body':
    'ctrl-1': 'mycmd:toggle-distraction-free'
    'ctrl-2': 'mycmd:toggle-sidebar'

ゴリゴリ感はあるし、ウインドウ移動のがしづらいのはあるけど (ドラッグ可能な領域を 5px だけ残してる)、期待した挙動にはなってるので使用してみる。 気になるところを js や css でいじれるのがやっぱり良い。