IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Add search/replace support to the Query Tool, including regexp matching. Fixes #1765

Browse Source
This commit is contained in:
Dave Page
2016-11-24 15:38:30 +00:00
parent 89ed2a7deb
commit 394381bf75
5 changed files with 166 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
web/pgadmin/static/css/overrides.css
View File

@@ -1464,4 +1464,20 @@ body {
-moz-user-select: text;
-ms-user-select: text;
user-select: text;
}
}
/* Codemirror buttons */
.CodeMirror-dialog button {
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
color: white;
font-size: 70%;
background-image: -webkit-linear-gradient(top, #337ab7 0%, #265a88 100%);
background-image: -o-linear-gradient(top, #337ab7 0%, #265a88 100%);
background-image: -webkit-gradient(linear, left top, left bottom, from(#337ab7), to(#265a88));
background-image: linear-gradient(to bottom, #337ab7 0%, #265a88 100%);
filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff337ab7', endColorstr='#ff265a88', GradientType=0);
filter: progid:DXImageTransform.Microsoft.gradient(enabled = false);
background-repeat: repeat-x;
border-color: #245580;
border-radius: 4px;
}