diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-06-26 02:23:59 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-06-26 02:26:38 +0200 |
| commit | ca7e92ed39587075d71a80271855234d6167e503 (patch) | |
| tree | fdb392de16563749958cbc7bdce41eb32c6f563f /modules/jsonrpc/config.py | |
| parent | 295a79c12540f0cb26e73404b641cd4848a2c1a7 (diff) | |
Request attention on the editor window when done recording a movie
Recording a movie can take a long time, so the user may not be
paying attention to the editor while leaving a movie rendering
in the background.
This also allows editor plugins to access the state of Movie Maker mode
within the editor (and set it).
Diffstat (limited to 'modules/jsonrpc/config.py')
0 files changed, 0 insertions, 0 deletions