pgadmin4

Author	SHA1	Message	Date
Atul Sharma	788f7f3a69	Bundle fonts with pgAdmin so we have a standard set for all platforms. Research by Shirley at Pivotal.	2017-09-13 16:01:14 +01:00
Hao Wang	5141debae7	UX improvements of the history in the query tool. - Added copy button for query text. - Historical queries are binned/grouped by day. Patch By: Hao Wang, Sarah McAlear	2017-08-09 16:52:43 +05:30
Harshal Dhumal	7182b59976	Ensure arrow keys work correctly when the pane is focused instead of the tab in the query tool history.	2017-07-21 13:33:59 +01:00
Matthew Kleiman	e29cd8d83d	Improve the history UI.	2017-07-20 20:50:37 +01:00
Matthew Kleiman	e2cbaaef71	UI tweaks for the query history.	2017-07-06 13:08:29 +01:00