rMalie c17e7c236d // MERGE with 1.4 r7770

2011-07-28 09:20:57 +00:00

..

close.gif

…

fullscreen.gif

…

go_to_line.gif

…

help.gif

…

highlight.gif

…

index.php

// MERGE with 1.4 r7770

2011-07-28 09:20:57 +00:00

load.gif

…

move.gif

…

newdocument.gif

…

opacity.png

…

processing.gif

…

redo.gif

…

reset_highlight.gif

…

save_as.gif

…

save.gif

…

search.gif

…

smooth_selection.gif

…

spacer.gif

…

statusbar_resize.gif

…

undo.gif

…