src/textbuf_gui.h
changeset 10397 3794189a5524
parent 10276 b60b7e17db62
equal deleted inserted replaced
10396:7f6f37c9dc67 10397:3794189a5524