diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-12-29 21:06:11 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2023-01-11 19:57:25 +0100 |
| commit | 86b8176864f1d9450855264bf7783467fd7b71d7 (patch) | |
| tree | 51024e2dbb4e65125e300048af359eca89e8fd95 /editor/editor_plugin_settings.h | |
| parent | a75493091823020d858fabadbfa5994da0d658cb (diff) | |
Improve documentation for `OS.read_string_from_stdin()`
This makes it clearer that calls to this method are blocking.
The unused method parameter was also removed.
Diffstat (limited to 'editor/editor_plugin_settings.h')
0 files changed, 0 insertions, 0 deletions