diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-05-31 07:35:27 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-05-31 07:35:27 +0200 |
| commit | 9418b81c74004794cbab323a1d5daed2b5057e0d (patch) | |
| tree | 9486c361cc9f403b6ae833e3dea53c562a6d8c97 /platform/android/globals/global_defaults.cpp | |
| parent | a9d246ea6caa25d94e729f2aff8b64366b68b79c (diff) | |
| parent | 6ae126ef9b2d654dc3575aea18bbb280992e0bc5 (diff) | |
Merge pull request #4916 from Paulb23/current_line_highlighting
Current line highlighting draws behind line numbers and breakpont gutter
Diffstat (limited to 'platform/android/globals/global_defaults.cpp')
0 files changed, 0 insertions, 0 deletions