09/11/21 04:01:57 go1AjV1S
debian sidだが
uimをアップデートしたらjdがウィンドウマネージャの閉じるボタンで閉じられなくなった。
ショートカットキーやメニューからファイル→終了とかすれば普通に閉じられる。
uimのバグっぽいけどjd以外では今のところ発生してないので一応。
09/11/21 04:01:57 go1AjV1S
debian sidだが
uimをアップデートしたらjdがウィンドウマネージャの閉じるボタンで閉じられなくなった。
ショートカットキーやメニューからファイル→終了とかすれば普通に閉じられる。
uimのバグっぽいけどjd以外では今のところ発生してないので一応。