| commit | fc1d1922254505a0762ea836f57681a322aadcbc | [log] [tgz] |
|---|---|---|
| author | Paul Pazderski <paul-eclipse@ppazderski.de> | Tue Jul 23 18:30:53 2019 +0200 |
| committer | Paul Pazderski <paul-eclipse@ppazderski.de> | Thu Jul 25 05:15:33 2019 -0400 |
| tree | 9e597ddd7838dff9735a6a2a15ae7718466c07de | |
| parent | dddf4f29b8a5d889d41e8e89d6aeadb0fdf9d6f3 [diff] |
Bug 17805 - [painting] Print margin drawn on top of text MarginPainter is not respecting margin of the text widget. Change-Id: Ia3782e249f66b1d0880f6e68868451f3d5402e10 Signed-off-by: Paul Pazderski <paul-eclipse@ppazderski.de>