It looks like the MySQL Workbench team has decided to place support for MariaDB configuration file options in the next release of MySQL Workbench! <div><br></div><div>(Configuration file option tabs currently display blank for any MariaDB versions greater than 5.1 in MySQL Workbench) <div>
<br></div><div><a href="http://bugs.mysql.com/bug.php?id=61219">http://bugs.mysql.com/bug.php?id=61219</a>   </div></div>