-
Notifications
You must be signed in to change notification settings - Fork 39
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
Visual plugin: Numbershark GUI changes and fixes #237
Comments
@grthor Have some or all of the points seen work since August? |
@simlei i did not work on any of these points, so i will unassign myself. |
I have already worked on this plugin and fixed some of the problems. The next person working on this plugin should check if the problem is already fixed. Maybe its already done 😄 |
I have already worked on the plugin. So point no. 5 (not working forward and backward buttons) are fixed. All other problems are still open. |
The improvement suggestions to number shark, in short:
|
|
|
|
Fixed point 1 (Die Feldgröße der zu untersuchenden Spielfelder ist zu klein (sollte mehr als 2 Stellen anzeigen können, mindestens 4).) with 449c1e8. |
Could not reproduce the issue with the disabled button:
The rest is fixed |
In the .pdf are listed some recommended changes für the numbershark Plugin. The changes affect the GUI and the handlers, which can be seen in the top right corner of the plugin.
Verbesserungsvorschläge.pdf
The text was updated successfully, but these errors were encountered: