■

https://w0.hatenablog.com/entry/2021/03/24/051616

なんか久しぶりにpgtk使ったら Ctrl-<記号> が一部使えない気がした。(前からだったかどうかはわからない)

使えるキーが端末から使ったときと同じになってる気がする。例えば、C-: とかが使えない。