https://w0.hatenablog.com/entry/2021/03/24/051616なんか久しぶりにpgtk使ったら Ctrl- が一部使えない気がした。(前からだったかどうかはわからない)使えるキーが端末から使ったときと同じになってる気がする。例えば、C-: とかが使えない。