Open brsa opened 6 months ago
In discussion with upstream - https://discuss.codemirror.net/t/pressing-tab-does-not-align-to-next-tab-position/8349
In discussion with upstream - https://discuss.codemirror.net/t/pressing-tab-does-not-align-to-next-tab-position/8349
@akshay-joshi or @adityatoshniwal As it is already somewhat time ago, I was wondering what the outcome of the discussion is. From functional perspective it seems clear. The technical issue, as posted in the discussion, is a thing I do not understand. :man_shrugging:
Pressing the [tab] key does not align at the next tab position, which is the actual purpose of the [tab] key.
To reproduce, activate "Use spaces?" with "Tab size" = 3 (for example). Then, in the query tool:
I am running Ubuntu Ubuntu 20.04.6 LTS. This is what "About pgAdmin4" dumps:
Version 8.6 Application Mode Desktop Current User pgadmin4@pgadmin.org NW.js Version 0.77.0 Browser Chromium 114.0.5735.91 Operating System Linux-5.15.0-105-generic-x86_64-with-glibc2.29 pgAdmin Database File /home/erwin/.pgadmin/pgadmin4.db Log File /home/erwin/.pgadmin/pgadmin4.log
Originally posted by @brsa in https://github.com/pgadmin-org/pgadmin4/issues/7269#issuecomment-2095195290