pgadmin4

Author	SHA1	Message	Date
Aditya Toshniwal	82c9cca683	Move all CSS into SCSS files for consistency and ease of colour maintenance etc. Fixes #2927	2018-09-04 11:24:51 +01:00
Akshay Joshi	7117ce6a22	Fix keyboard shortcuts layout in the preferences panel. Fixes #3407	2018-08-07 14:41:50 +01:00
Harshal Dhumal	66341e6947	Add infrastructure for managing configurable keyboard shortcuts.	2018-01-25 12:49:06 +00:00
Ashesh Vashi	ef7737c709	Added missing dependent javascript 'jquery.aciFragment' required by the aciTree. Also - fixed few CSS specifically for the preferences dialog. Returning the sorted preferences from the server, so that - it lists down in correct order.	2016-04-19 23:48:10 +05:30
Dave Page	5ea822f33e	Preferences dialogue. Patch by Ashesh and Khushboo Vashi.	2016-03-07 11:48:53 +00:00