From 3b9535a6acfdd83489b3697f8b7d3c071937fb74 Mon Sep 17 00:00:00 2001 From: Eric Amodio Date: Sat, 20 Jan 2018 10:48:54 -0500 Subject: [PATCH] Adds more hover settings (wip) --- src/ui/settings/index.html | 177 ++++++++++++++++++++++++++++----------------- 1 file changed, 112 insertions(+), 65 deletions(-) diff --git a/src/ui/settings/index.html b/src/ui/settings/index.html index c1a8a08..16d1cfb 100644 --- a/src/ui/settings/index.html +++ b/src/ui/settings/index.html @@ -69,12 +69,12 @@
- - - - - - + + + + + +
@@ -99,8 +99,7 @@ -
+
@@ -138,7 +136,8 @@

- Use the GitLens: Toggle Git Code Lens command to override this setting for the current window + Use the + GitLens: Toggle Git Code Lens command to override this setting for the current window

@@ -154,34 +153,20 @@
-
- - -
-
- - -
-
- - -
-
- - + +

- Use the GitLens: Toggle Line Blame Annotations command to override this setting for the current window + Use the + GitLens: Toggle Line Blame Annotations command to override this setting for the current + window

@@ -198,44 +183,50 @@
- @@ -352,6 +345,60 @@
+ + +