diff .hgtags @ 38:e25dce8b49c3

Revert some unwanted changes from the extension.css style sheet Allow text selection and select the cursor based on context.
author Guido Berhoerster <guido+feed-preview@berhoerster.name>
date Tue, 02 Apr 2019 15:51:22 +0200
parents cd6d106f26e7
children d1a03d8a6e70
line wrap: on
line diff