diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-19 13:04:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-19 13:04:20 +0200 |
| commit | c7b425ed9c1a085ee648a11d037373af5df1148a (patch) | |
| tree | 7c83ff4a23b34e171dfd2c7693097e30ae5c4830 /tools/docker | |
| parent | c9498e12a503697011e7297e5393f1fabb54fb3a (diff) | |
| parent | bc9f9b1c6ae0e5858790fe2463a175b451580fba (diff) | |
Merge pull request #5259 from neikeq/pr-textedit-zoom
TextEdit: Change font size with Ctrl+Mouse Wheel Up/Down
Diffstat (limited to 'tools/docker')
0 files changed, 0 insertions, 0 deletions