Marc Durdin 1d450f0494 fix(developer): prevent double action of editor hotkeys in debugger ... With the move to the richedit control, hotkeys such as Ctrl+V are natively managed and we no longer need to handle them separately, as this caused actions to be applied twice. Fixes: #13335		2025-02-25 14:47:10 +01:00
..
config	feat(developer): add api-extractor and api-documenter and config	2024-02-26 11:37:32 +07:00
docs	chore: Revert "Merge branch 'master' into beta"	2025-02-14 07:45:28 +07:00
src	fix(developer): prevent double action of editor hotkeys in debugger	2025-02-25 14:47:10 +01:00
.gitignore	chore(developer): move server with no changes	2022-05-23 12:15:34 +10:00
build.sh	chore(developer): use builder.inc.sh instead of build-utils.sh in build scripts	2024-05-20 06:34:46 +07:00