ui/gtk/text.c

changeset 857
1d9dd72fec15
parent 809
f5ddce392617
child 906
edfdf9776da9
equal deleted inserted replaced
856:b769e01035a7 857:1d9dd72fec15

mercurial