diff options
| author | Andrey Orst <andreyorst@gmail.com> | 2019-03-13 17:01:17 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-13 17:01:17 +0300 |
| commit | e5558aee637e673d7af3a0c3221ca02b665e163b (patch) | |
| tree | ba7a859710f4b8aa94625e1a5572b57e365f5a52 /src/buffer_manager.cc | |
| parent | 47be98f1fc5aa3e2bdc1f2ccfa3a8b9f8c4ffc51 (diff) | |
highlight floating point numbers with exponent
Correct highlihgting for `0.38e-18` like numbers
Diffstat (limited to 'src/buffer_manager.cc')
0 files changed, 0 insertions, 0 deletions