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 /core/os/dir_access.h | |
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 'core/os/dir_access.h')
0 files changed, 0 insertions, 0 deletions