Bug #70799 Enhance options reference table
Submitted: 1 Nov 2013 22:25 Modified: 2 Mar 2016 17:20
Reporter: Todd Farmer (OCA) Email Updates:
Status: Closed Impact on me:
Category:MySQL Server: Documentation Severity:S4 (Feature request)
Version: OS:Any
Assigned to: Paul Dubois CPU Architecture:Any

[1 Nov 2013 22:25] Todd Farmer
I really, really appreciate this page in the manual:


However, a couple of enhancements would make it immeasurably more useful:

1.  Pin the table header.  With so many columns, it's a pain to scroll to the top to make sure the row values are properly interpreted.

2.  Enable dynamic filtering of the table content.  Make it easy to answer questions like, "which variables are introduced in MySQL 5.6?" or "which variables cannot be set dynamically?" or "which variables were removed in MySQL 5.6?"

How to repeat:
Visit http://dev.mysql.com/doc/mysqld-version-reference/en/mysqld-version-reference-optvar.html

Suggested fix:
Add pinned table header, allow dynamic filtering.

Here's a suggestion on possible filters:

a) Allow filtering based on whether the "Name" column contains a given (case-insensitive) string.
b) Allow separate filtering for whether the "Intr" or "Depr" value starts with a given string (version numbers).
c) Allow separate filtering based on whether the contents of the "Cmd", "Cnf", "Srvr", or "Stat" columns contain "Yes" or are explicitly blank (or change the contents here to "No").
d) Allow filtering for possible values of "Scope" column.
e) Allow filtering for "Dyn" column values containing "Yes" or are blank (or, as above, consider populating this column with "No").
f) Allow filtering for each of the server version columns ("5.0", "5.1", "5.5", "5.6", "5.7") based on whether the value is "Yes" or blank (again, consider populating this column with an explicit "No").
[1 Nov 2013 22:26] Todd Farmer
JavaScript filtering using JQuery

Attachment: options-frame.html (text/html), 4.86 KiB.

[1 Nov 2013 22:27] Todd Farmer
Attached a very rudimentary filtering form and script.
[2 Mar 2016 17:20] Paul Dubois
Ray Lambe implemented pinning of the table header. Thanks, Ray.

Dynamic filtering: Won't do.