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

diff: ui/gtk/text.c

ui/gtk/text.c

changeset 805

3774965e4937

parent 801

e096c441e874

child 809

f5ddce392617