diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-07-17 22:55:20 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-07-17 22:55:20 +0200 |
| commit | 976d12c3c1916b5b9a3f1c40f0e3f75bd9bc39e0 (patch) | |
| tree | 79e8619966c9cb3477c9bf7fe1a584095005cf87 /editor/node_dock.h | |
| parent | e3a8ab68ce7497b3752d29965c6a54c50d548144 (diff) | |
Add padding for code blocks in the editor help
This improves their appearance, making them look closer to code blocks
in the online manual.
Diffstat (limited to 'editor/node_dock.h')
0 files changed, 0 insertions, 0 deletions