src/textbuf_gui.h
changeset 10762 ad9b3f3325cf
parent 10647 51ad0a0c6c17
equal deleted inserted replaced
10761:125e1a564a0b 10762:ad9b3f3325cf