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

diff: ui/gtk/text.c

ui/gtk/text.c

changeset 803

f0c4322741c8

parent 801

e096c441e874

child 809

f5ddce392617