gui: improve internal text reader
authorNiki Roo <niki@nikiroo.be>
Sun, 24 Mar 2019 17:08:22 +0000 (18:08 +0100)
committerNiki Roo <niki@nikiroo.be>
Sun, 24 Mar 2019 17:08:22 +0000 (18:08 +0100)

No differences found