ui/gtk/text.c

changeset 771
155f8722b927
parent 680
a4795b40e679
child 788
27f126f6e361
equal deleted inserted replaced
770:521ecd0a0e7b 771:155f8722b927

mercurial