pgadmin4

mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00

Files

Surinder Kumar 9c4eed70b4 Use the same keyboard shortcuts in the query tool as pgAdmin 3. Refs #1478

Per discussion on the mailing list, the shortcuts override the browser defaults (where there are any), but only when the query tool has focus.

2016-08-01 15:10:52 +01:00

2016-07-26 15:05:14 +01:00

2016-08-01 15:10:52 +01:00

2016-07-26 15:05:14 +01:00

2016-07-25 17:23:10 +01:00

2016-07-26 15:05:14 +01:00

2016-07-26 15:05:14 +01:00

2016-07-26 15:05:14 +01:00

2016-08-01 15:10:52 +01:00

2016-07-26 15:05:14 +01:00

__init__.py

2016-07-22 16:25:23 +01:00