bill/whetstone_DSL
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Step 200: startup and performance improvements

Browse Source
This commit is contained in:
Bill
2026-02-10 05:22:46 -07:00
parent 02063766a8
commit 2fa307ef2c
9 changed files with 162 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
editor/src/panels/EditorPanel.h
View File

@@ -372,7 +372,8 @@ static void renderEditorPanel(EditorState& state) {
state.symbolsPending = false;
}
if (state.analysisPending && (now - state.analysisLastChange) > 0.5) {
double diagDelay = state.settings.getDiagnosticsDebounceMs() / 1000.0;
if (state.analysisPending && (now - state.analysisLastChange) > diagDelay) {
if (state.isStructured()) {
auto result = state.pipeline.run(state.active()->editBuf,
state.active()->language,