Merge pull request #1172 from hwhw/master

factor out dump() function, handle reference loops
Various language-related fixes.
Added timeout to successful delete message.
Improved SetDefaults dialog message.
Enter *a* word to look up.
Merge pull request #1174 from Frenzie/master

Various language-related fixes.
Use setStringProperty method to set hyphenation dictionary.
Merge pull request #1177 from erosennin/remember-hyphenation

Preserve hyphenation settings when changing font face
fix bug in viewport offset calculation for refreshes

The calculation did not correctly calculate the offset in rotated
modes when the rotation was 90 or 270 degrees. Under these circumstances,
getWidth() and getHeight() did return rotated values for the framebuffer,
while Device.viewport did return not rotated values.