Skip to content

RBNotice: add isSyntaxError and make it easier to sort them#13344

Merged
MarcusDenker merged 5 commits intopharo-project:Pharo12from
privat:syntax-error
Apr 7, 2023
Merged

RBNotice: add isSyntaxError and make it easier to sort them#13344
MarcusDenker merged 5 commits intopharo-project:Pharo12from
privat:syntax-error

Conversation

@privat
Copy link
Contributor

@privat privat commented Apr 7, 2023

When you have multiple notices, you want to solve the syntax errors first, then the other errors, then the warnings.
Especially when popup menus might open.

@MarcusDenker MarcusDenker merged commit a146f2a into pharo-project:Pharo12 Apr 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants