Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

configure debugger main window width #492

Open
garfieldnate opened this issue Aug 16, 2024 · 3 comments
Open

configure debugger main window width #492

garfieldnate opened this issue Aug 16, 2024 · 3 comments
Labels
debugger relating to the Java Soar debugger subproject feature-request

Comments

@garfieldnate
Copy link
Collaborator

Request from Bob W:

When we are sourcing files, we end up with some gps that add ~1000ish productions and that makes the debugger window as wide in characters as the number of productions that were added. Id like to limit how far the window can expand.

This is caused by Soar printing an * for each production sourced, so in this case it prints *****************************....., (a thousand asterisks).

@garfieldnate garfieldnate added feature-request debugger relating to the Java Soar debugger subproject labels Aug 16, 2024
@garfieldnate
Copy link
Collaborator Author

More details:

This is annoying because the user only cares about the ~100ish columns, which is where most of the output lives. With the window becoming very wide, the control on the scrollbar becomes tiny, and moving it a little bit will scroll way past the end of column 100. Bob shared this example:
DebuggerScrollIssue

@garfieldnate
Copy link
Collaborator Author

Bob suggests:

It might be simplest to insert a line break at the column configured by the user. We could print a ⏎ at the end of the line that got split to indicate that it was split.

@garfieldnate
Copy link
Collaborator Author

Might be clearer to insert the line break and then put the the character that signals continuation to the user at the beginning of the next line instead of the end of the previous one.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
debugger relating to the Java Soar debugger subproject feature-request
Projects
None yet
Development

No branches or pull requests

1 participant