Remember status of PMA's navigation bar.

[udan11]

Fixes #13397.

Signed-off-by: Dan Ungureanu udan1107@gmail.com

Before submitting pull request, please check that every commit:

• Has proper Signed-Off-By
• Has commit message which describes it
• Is needed on it's own, if you have just minor fixes to previous commits, you can squash them
• Any new functionality is covered by tests

[codecov]

Codecov Report

Merging #13461 into master will increase coverage by <.01%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master   #13461      +/-   ##
==========================================
+ Coverage   54.48%   54.48%   +<.01%     
==========================================
  Files         468      468              
  Lines       70435    70437       +2     
==========================================
+ Hits        38377    38379       +2     
  Misses      32058    32058

[nijel]

I really think we should not use one cookie per setting. This really doesn't scale. What I'd really prefer is to have some generic solution to store such configuration as there will be probably more things where such persistence makes sense. Preferably having this in the user configuration and having API to change that in javascript, I've created #13466 for this.

See also #13422 (comment) and #11688.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.