Source/devtools/front_end/inspectorCommon.css - Issue 676193002: Navigate between individual search matches in DevTools console

Side by Side Diff

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Keyboard Shortcuts

	File
u :	up to issue
j / k :	jump to file after / before current file
J / K :	jump to next file with a comment after / before current file
	Side-by-side diff
i :	toggle intra-line diffs
e :	expand all comments
c :	collapse all comments
s :	toggle showing all comments
n / p :	next / previous diff chunk or comment
N / P :	next / previous comment
<Up> / <Down> :	next / previous line

	Issue
u :	up to list of issues
j / k :	jump to patch after / before current patch
o / <Enter> :	open current patch in side-by-side view
i :	open current patch in unified diff view

	Issue List
j / k :	jump to issue after / before current issue
o / <Enter> :	open current issue

Side by Side Diff: Source/devtools/front_end/inspectorCommon.css

Issue 676193002: Navigate between individual search matches in DevTools console (Closed) Base URL: https://chromium.googlesource.com/chromium/blink@master

Patch Set: Created 6 years, 1 month ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

View unified diff | Download patch

« Source/devtools/front_end/console/ConsoleViewMessage.js ('K') | « Source/devtools/front_end/console/ConsoleViewMessage.js ('k') | Source/devtools/front_end/ui/UIUtils.js » ('j') | Source/devtools/front_end/ui/UIUtils.js » ('J')
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')

OLD	NEW
1 html {	1 html {

2 height: 100%;	2 height: 100%;

3 }	3 }

4	4

5 body {	5 body {

6 height: 100%;	6 height: 100%;

7 width: 100%;	7 width: 100%;

8 position: relative;	8 position: relative;

9 overflow: hidden;	9 overflow: hidden;

10 margin: 0;	10 margin: 0;

(...skipping 91 matching lines...) Expand 10 before \| Expand all \| Expand 10 after Loading...
102 font-size: 10px !important;	102 font-size: 10px !important;

103 font-family: monospace;	103 font-family: monospace;

104 }	104 }

105	105

106 body /deep/ .highlighted-search-result {	106 body /deep/ .highlighted-search-result {

107 border-radius: 1px;	107 border-radius: 1px;

108 padding: 1px;	108 padding: 1px;

109 margin: -1px;	109 margin: -1px;

110 background-color: rgba(255, 255, 0, 0.8);	110 background-color: rgba(255, 255, 0, 0.8);

111 }	111 }

	112

	113

	114 /* TODO: Come up with a design */

	115 .current-search-result {

	116 border-radius: 1px;

	117 padding: 1px;

	118 margin: -1px;

	119 background-color: rgba(255, 127, 0, 0.8);

	120 }

OLD	NEW