6 Commits (ef8fe5a5ce536c65f34e479db79b94c8435aa3b2)

Author	SHA1	Message	Date
Christoph Horn	9be810fd01	add missing `ui.menu` to themes, fix issues with some themes	3 years ago
Yang Tang	667cdf929f	Fix spelling errors in some themes (#2324)	3 years ago
Michael Davis	1525e3c6c8	theme ui.virtual capture for existing themes	3 years ago
WindSoilder	4563832318	add markup support for monokai pro themes (#1553)	3 years ago
Michael Davis	3b800025af	add diff.{plus,minus,delta} to themes	3 years ago
WindSoilder	27ffc79c44	Add monokai pro theme (#1206) ... * add monokai_pro theme * add monokai_pro theme * claim the inspired theme and original author * make diagnostic underlined	3 years ago