ui: Select code in code view with SHIFT + drag

bug id = 7
This commit is contained in:
Eberhard Graether
2016-09-21 11:23:47 +02:00
parent 589962b09e
commit 77cf33666f
8 changed files with 60 additions and 20 deletions
+6 -1
View File
@@ -117,6 +117,11 @@
</syntax>
<selection>
<text>black</text>
<background>#CCCCCC</background>
</selection>
<annotation>
<token>
<normal>
<border>transparent</border>
@@ -173,7 +178,7 @@
<fill>#987CEA</fill>
</focus>
</fulltext>
</selection>
</annotation>
</snippet>
</code>
+6 -1
View File
@@ -117,6 +117,11 @@
</syntax>
<selection>
<text>black</text>
<background>#E0E0E0</background>
</selection>
<annotation>
<token>
<normal>
<border>transparent</border>
@@ -171,7 +176,7 @@
<fill>#ABABDD</fill>
</focus>
</fulltext>
</selection>
</annotation>
</snippet>
</code>
+6 -1
View File
@@ -136,6 +136,11 @@
</syntax>
<selection>
<text>white</text>
<background>#777777</background>
</selection>
<annotation>
<token>
<normal>
<border>transparent</border>
@@ -193,7 +198,7 @@
<fill>#134B63</fill>
</focus>
</fulltext>
</selection>
</annotation>
</snippet>
</code>
+2
View File
@@ -95,6 +95,8 @@
color: <color:code/snippet/syntax/normal>;
font-family: "<setting:font_name>";
font-size: <setting:font_size>px;
selection-color: <color:code/snippet/selection/text>;
selection-background-color: <color:code/snippet/selection/background>;
}
#code_file #maximize_button, #code_file #snippet_button, #code_file #minimize_button {