[Gambas-Notification] [Git][gambas/gambas][master] Correctly refresh the debug panel contents when fonts are changed in the option dialog.

[Benoît Minisini]

Benoît Minisini pushed to branch master at Gambas / gambas


Commits:
64ea8c3a by gambas at 2018-11-01T00:19:55Z
Correctly refresh the debug panel contents when fonts are changed in the option dialog.

[DEVELOPMENT ENVIRONMENT]
* BUG: Correctly refresh the debug panel contents when fonts are changed in the option dialog.

- - - - -


2 changed files:

- app/src/gambas3/.src/Debug/FDebugInfo.class
- app/src/gambas3/.src/Search/FSearch.class


View it on GitLab: https://gitlab.com/gambas/gambas/commit/64ea8c3a796d231e8a6cf6f7f8d749ddcc9d2efe

-- 
View it on GitLab: https://gitlab.com/gambas/gambas/commit/64ea8c3a796d231e8a6cf6f7f8d749ddcc9d2efe
You're receiving this email because of your account on gitlab.com.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.gambas-basic.org/pipermail/notification/attachments/20181101/b514b841/attachment.html>