Geoffrey Hoffman Wrote:
-------------------------------------------------------
> I could be wrong but it appears that the default
> font format (Tools -> Preferences -> Appearance ->
> Layer Title) does not work. Can someone confirm
> this bug?
Hmm, could be. Although the application should of course use these values. If you can reliably name settings which aren't properly use please file a bug report at
http://bugs.mysql.com.
> There doesn't seem to be any way to change the
> color (medium gray) of the Layer title background,
> either.
True, this is currently not possible.
>
> Does the layer's description field get used
> anywhere?
Not that I know of. I think this has been introduced in anticipation of future enhancements.
Mike
Mike Lischke, MySQL Developer Tools
Oracle Corporation
MySQL Workbench on Github:
https://github.com/mysql/mysql-workbench
On Twitter:
https://twitter.com/MySQLWorkbench
On Slack: mysqlcommunity.slack.com (#workbench)
Report bugs to
http://bugs.mysql.com
MySQL documentation can be found here:
http://dev.mysql.com/doc/refman/8.0/en/