Shazz Amin
Shazz Amin
Emojis are visually inconsistent across different platforms (i.e. browsers and operating systems)
It at least does not appear to work on Firefox
Feedback starting with "Oops! Something went wrong." is considered valid. "a" will result in this feedback.
When a file is closed, save its history (i.e. undo stack). When a file is opened, restore its saved history.
When a user re-visits the application, these things should be restored from their previous session: * Directories expanded * Open file * Scroll position * Selection * File history/histories
Perhaps only in the "Miscellaneous" directory.
Currently, leaving a branch open in a ST proof and using the "magic" rule in an ND proof will show the exact same magic icon and "magic was used" message....