Repository navigation
Hints out of the hover by setting, and a usage log of the view for user studies - #201
Merged
Merged
Conversation
…er studies Two settings: - liquidjava.hover.showHints (default true). Off: the editor hover leaves the hints out and says they are in the LiquidJava view, where they stay closed until opened. - liquidjava.usageLog (default empty): a JSON Lines file to which the extension appends what is used in the view: tab switches, hints opened or closed, Found steps, locations, the state machine (from the view or the code lens), the Verification/Context reveal buttons, the diagnostics scope, the diagram options and copies. One line per use, with the time. The webview posts a usage message for each of these; services/usage-log.ts writes it, and the openFile message of a location click is logged as location. Nothing is written when the setting is empty, and a write failure goes to the LiquidJava output channel only. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
CatarinaGamboa
added a commit
that referenced
this pull request
Nov 11, 2026
… keyed, write asynchronously in order A render of an open <details> fires toggle too (Codex review). The writes are chained promises, so a slow disk never stalls the extension host. The documented event list no longer names zoom, which is not instrumented. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Collaborator
Author
|
Codex review (read-only, on the diff against main), three findings, all applied in 4bb0d41:
Also in 8ee51bd: a tab click that lands on the badge inside the tab (the error count) now switches the tab; before, it did nothing, which the study's walk showed as a Verification tab click that never registered. 🤖 Generated with Claude Code |
Merged
CatarinaGamboa
added a commit
that referenced
this pull request
Nov 12, 2026
Version 0.1.1: 0.1.0 plus #201 (hints out of the hover by setting, and a usage log of the view for user studies). The tag `v0.1.1` on the merge commit publishes it (publish.yml). 🤖 Generated with [Claude Code](https://claude.com/claude-code)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
For the error-message study (liquidjava-study-env). Two settings, both off by default so nothing changes for other users.
What changes
liquidjava.hover.showHints(defaulttrue). Off: the editor hover leaves the hints out and ends with Hints: in the LiquidJava view (Hints, under the error). The view already renders the hints closed (<details>), so with the setting off a participant sees a hint only by opening it. Decided with the PM on 2026-11-12: keep the hints, start them closed, let the person open them.liquidjava.usageLog(default empty): the path of a JSON Lines file to which the extension appends what is used in the view, one line per use with the time:tabtab: diagnostics, fsm, contexthintsopen,error(the diagnostic's key)found-stepdirection,errorlocationfile,line,characterstate-machinefrom: view or code-lensshow-viewfile,linestate-error-step,reveal,context,context-section,scope,diagram,copyThe webview posts a
usagemessage for each;services/usage-log.tswrites it. A write failure goes to the LiquidJava output channel only.utils/usage-log.tsis the pure part, with its own spec.Tests
npm run test:unit: 149 tests pass, three new (the hover without hints; the tab and hints usage messages; the log lines). The exact-messages assertion of the tab test now lists the usage messages too. Lint and webpack clean.Screenshots
Headless VS Code (openvscode 1.109), the study's practice file,
liquidjava.hover.showHintsoff. The hover ends with the pointer to the view; in the view the Hint is closed until clicked.Study side
liquidjava-study-envsets both in the redesign instance's workspace settings (liquidjava.hover.showHints: false,liquidjava.usageLog: logs/<P>/<X>/liquidjava-usage.jsonl) and its export counts the uses per task. The baseline branch ignores both settings.🤖 Generated with Claude Code