Bug #97994 Missing preferences in manual

• Submitted: 16 Dec 2019 9:02
• Modified: 23 Jan 2020 16:08
• Reporter: Paul Weiss
• Status: Closed
• Category: MySQL Workbench: Documentation
• Severity: S3 (Non-critical)
• Version: 8, revision: 64534
• OS: Any
• CPU Architecture: Any
• Tags: manual, preferences

[16 Dec 2019 9:02] Paul Weiss

Description:
The manual is missing the following preferences:

SQL Editor > SQL Execution > Preserve Row Filter

SSH > SSH Command Execution log

How to repeat:
Display MWB preferences, and matching manual pages.

Suggested fix:
Update manual.

[16 Dec 2019 9:58] MySQL Verification Team

Hello Paul,

Thank you for the report and feedback!

Thanks,
Umesh

[23 Jan 2020 16:08] Christine Cole

Posted by developer:
 
Content updates are published.
Thank you for the report!