• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

diff: ui/gtk/text.c

ui/gtk/text.c

changeset 802

cc73993a3ff9

parent 801

e096c441e874

child 809

f5ddce392617