[Phpmyadmin-devel] Designer settings should be part of the saved state -- but how?

Hello, Deven is working on RFE 1060 [0] which requests that the Designer "snap to grid" and "angular links/direct links" settings should be remembered. In the tracker artifact, you can see (or I'll summarize below) we're discussing how exactly to preserve this information and I'm open to additional opinions. Configuration directive: I don't like adding two more directives plus we can't toggle the value in `config.inc.php` when the user toggles the setting in Designer. This solution seems quite undesirable. phpMyAdmin Configuration Storage: Seems the best place; we already store Designer coordinates here and PDF page layout. Would probably require modifying the schema unless we come up with some wild idea like storing the preference in 'pma__table_coords' and some specially crafted db_name and table_name (without testing it, I'm imagining NULL for each, and x and y can store a 0 or 1 for each of the two factors we're storing. It's quite late so I'm not sure if this idea is brilliant or awful, but I suspect it's the latter. I don't see a point to adding a whole new table to track two values of true or false, so perhaps this idea isn't ideal, either. Session storage/Cookie: An obvious choice, except it only persists in the user's browser; if they use a new computer the value is lost. In this case, it's a quick toggle to restore the setting, so part of me wonders if this is the best solution. I welcome your input, otherwise Deven and I will continue ahead regardless :) Thanks and regards ~isaac 0 - https://sourceforge.net/p/phpmyadmin/feature-requests/1060/