<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<title>
GitLab
</title>



<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<h3>
Benoît Minisini pushed to branch master
at <a href="https://gitlab.com/gambas/gambas">Gambas / gambas</a>
</h3>
<h4>
Commits:
</h4>
<ul>
<li>
<strong><a href="https://gitlab.com/gambas/gambas/commit/64ea8c3a796d231e8a6cf6f7f8d749ddcc9d2efe">64ea8c3a</a></strong>
<div>
<span>by gambas</span>
<i>at 2018-11-01T00:19:55Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">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.
</pre>
</li>
</ul>
<h4>2 changed files:</h4>
<ul>
<li class="file-stats">
<a href="https://gitlab.com/gambas/gambas/commit/64ea8c3a796d231e8a6cf6f7f8d749ddcc9d2efe#df4e0816fad939ba2abd75cbd6bb68fb3e800ec6">
app/src/gambas3/.src/Debug/FDebugInfo.class
</a>
</li>
<li class="file-stats">
<a href="https://gitlab.com/gambas/gambas/commit/64ea8c3a796d231e8a6cf6f7f8d749ddcc9d2efe#49ac7ff8a4642a1a7c50993a6ab7cb24fecd6640">
app/src/gambas3/.src/Search/FSearch.class
</a>
</li>
</ul>

</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #777777;">

<br>
<a href="https://gitlab.com/gambas/gambas/commit/64ea8c3a796d231e8a6cf6f7f8d749ddcc9d2efe">View it on GitLab</a>.
<br>
You're receiving this email because of your account on gitlab.com.
If you'd like to receive fewer emails, you can
adjust your notification settings.
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"https://gitlab.com/gambas/gambas/commit/64ea8c3a796d231e8a6cf6f7f8d749ddcc9d2efe"}}</script>
</p>
</div>
</body>
</html>