Towards a more beginner friendly UX - #86
Open
lemmy wants to merge 9 commits into
Open
Conversation
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
Use small, outlined buttons (btn-sm btn-outline-primary / btn-outline-danger) for Check Invariant and Stop, matching the rest of the UI instead of the oversized solid variants. Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com> Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
Group visualizations (Trace, Animation) before tools (REPL, Check) by moving REPL right of the Animation tab. Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com> Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
When there is no step to redo, the Forward button becomes "Forward (simulate)" and advances the trace by one uniformly random next step instead of being disabled. A numSimSteps URL parameter simulates a random behavior of the given length on load, unless an explicit trace is provided. Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com> Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
Replace the binary "Show full next states" toggle with a tri-state button offering three ways to display next-state choices: - Actions / Parameters: action names with their parameter choices. - Full states (diff): only the variables that changed, with the changed names and sub-values highlighted, matching the trace view. - Full states: every variable with diff highlighting. The selected mode is persisted to (and restored from) the URL via a "nextStateView" route parameter, with backwards compatibility for the old boolean "showFullStates" param. Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com> Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
Move the Config and Spec/Animation editor tabs into their own resizable rightmost column, leaving Actions/Load in the left column and Trace/REPL/Check in the middle. Toggle it via a "Spec column" switch in the header or the "specColumn" URL parameter (persisted on toggle). Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com> Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
Hovering a trace state, an Actions-tab action choice, or (for the initial state) the initial-state box highlights the corresponding definition in the spec editor and scrolls it into view. Hovering a trace state also tints the matching action box on the Actions tab, so the same action is highlighted across all three columns at once. The initial state highlights the Init predicate. Each action definition is highlighted with a unique background color. The highlight color is derived from the action name. Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com> Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
Both columns now show a thin scrollbar when their content overflows. The trace and spec-editor columns are bounded to the visible height instead of a fixed 100vh that overshot below the fold, and the spec editor scrolls internally (CodeMirror native scrollbar) with the tab bar pinned. The trace only auto-scrolls to the newest state when the trace grows, so scrolling up no longer snaps back to the end. Columns use border-box so their widths match despite differing padding. Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com> Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
On hover, the focused box scales up and lifts to the front while its siblings dim, in both the trace view and the Actions tab. Uses CSS transforms only, so no layout reflow. Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com> Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
lemmy
marked this pull request as ready for review
July 13, 2026 20:16
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
1 participant
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.
specColumnURL param.nextStateViewURL param (back-compat with the oldshowFullStatesboolean).Initpredicate.numSimStepsURL param simulates a random behavior of that length on load (unless an explicit trace is provided).