<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">

</head>

<body>

<div style="font-family:sans-serif"><div style="white-space:normal">

<p dir="auto">On 11 Aug 2016, at 16:55, Kristof Provost wrote:</p>

<p dir="auto"></p></div>

<div style="white-space:pre-wrap"><blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><div dir="auto">This reminds me of something I wanted to ask: is there an overview of all the hidden preferences somewhere?

</div><div dir="auto">I read the release notes (Benny does a great job writing them, unlike many others), but I forget things.

</div><div dir="auto">It’d be useful to have an overview them somewhere.

</div></blockquote></div>

<div style="white-space:normal">

<p dir="auto">There's a <a href="https://manual.mailmate-app.com/hidden_preferences" style="color:#3983C4">manual page</a>, but unfortunately I cannot claim that it includes all of them. (Some day I might do a sweep of the code to make sure nothing has been left out.)</p>

<p dir="auto">-- <br>

Benny</p>

</div>

</div>

</body>

</html>