src/textbuf_gui.h
changeset 10208 72c00af5c95d
parent 10148 ad8e8a65f6a2
child 10276 b60b7e17db62
equal deleted inserted replaced
10207:c291a21b304e 10208:72c00af5c95d