This script add some improvements to Adminer 4.7.6 interface:

• Show/Hide table list button (code adapted from: https://openuserjs.org/scripts/neuronacreativa/visualizacionAdminer)
• Filter table list (code adapted from https://openuserjs.org/scripts/knedle/Adminer_-_favorites_tables)
• Independent scroll of table list and main content
• Simplify table list names
• Special key binding when the filter is focused:
  • up/down arrow: move the table selection table up and down
  • home/end: select the first or last table from the table list
  • enter: open the current selected table
  • write something in filter: filter table list
  • numpad 1: click on "visualise content" tab on the current table
  • numpad 2: click on "show structure" tab on the current table
  • numpad 3: click on "Modify talbe" tab on the current table
  • numpad 4: click on "New registry" tab on the current table