Conversation
|
I've been playing with the new frontend for a while, and it works great. There are only a few things I'd really want changed; the rest is nice-to-have stuff, on your consideration whether to spend time on it or not. IssuesThese issues need to be resolved for the next version:
Change to the layoutThis is basically #163 updated a bit. I'm not well-versed in UI design, so it is possible that these ideas aren't the best ones.
These are quite radical changes to the page layout. It might not be feasible, or it might be too much work. The most important changes that I'd really like to have are:
Nice to haveMore or less in the order of priority:
|
e3e0b32 to
ccb496b
Compare
a2bb854 to
0e5a3ef
Compare
8a4898a to
0daa437
Compare
|
@JeanJPNM Should you need the latest MlogWatcher mod for development/testing, it's available on the Actions page, e.g. https://github.com/Sharlottes/MlogWatcher/actions/runs/21562595822 |
The inconsistent gutter width was somewhat bothersome to look at
|
@JeanJPNM Would it be possible to make these additional changes?
Apart from the Mlog Watcher URL, this is all I'd want to do for now. |
I don't understand, all compiler messages have the same background. Perphaps you mean the encoded input/output editors? Since all of their content is in a single wrapped line, it makes it appear as if those editors have a different background color, but it's just that they are highlighting the selected line that happens to be very large. |
|
I made all the changes except for the undo button, because I believe that preserving the undo history is the default behavior for most sites nowadays, so most people would quickly notice it. |

Closes #165.
Closes #163.
Closes #162.
Implements the new frotend using the Svelte Kit framework, uses Codemirror for the editors, and Lezer for the grammars used for syntax highlighting.
The original pages have been temporarily moved underThe original pages and their controllers have been removed./legacyto facilitate the reviewing process, they may be deleted before merging this pull request.Development workflow
To run the frontend, you must have nodejs 22 or greater installed.
This will open the local development server on localhost:5173.
Then you must start the spring boot as well, since the frontend makes API calls to it.
Building
To build the frontend, run
cd webapp/frontend npm run buildThis will generate html for the pages and put them into
webapp/src/main/resources/static, which should be picked up by spring boot and served.After this you can run spring boot locally or through docker compose.