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: Add tests 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/elements/ElementsPanel.js ('K') | « Source/devtools/front_end/elements/ElementsPanel.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 81 matching lines...) Expand 10 before \| Expand all \| Expand 10 after Loading...
92 font-size: 10px !important;	92 font-size: 10px !important;

93 font-family: monospace;	93 font-family: monospace;

94 }	94 }

95	95

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

97 border-radius: 1px;	97 border-radius: 1px;

98 padding: 1px;	98 padding: 1px;

99 margin: -1px;	99 margin: -1px;

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

101 }	101 }

	102

	103

	104 /* TODO: Come up with a design */
	lushnikov 2014/11/07 16:27:19 Please, remove the comment. We'll anyway land this Please, remove the comment. We'll anyway land this after a review from our local UI specialist. aknudsen 2014/11/08 12:00:53 Acknowledged. Show quoted text On 2014/11/07 16:27:19, lushnikov wrote: > Please, remove the comment. We'll anyway land this after a review from our > local UI specialist. Acknowledged. aknudsen 2014/11/09 00:02:14 Done. Show quoted text On 2014/11/07 16:27:19, lushnikov wrote: > Please, remove the comment. We'll anyway land this after a review from our > local UI specialist. Done.
	105 .current-search-result {
	lushnikov 2014/11/07 16:27:19 given the suggestion in one of other comments to n given the suggestion in one of other comments to not use highlightSearchResult function (and use highlightSearchResultWithStyleClass instead), this rule should move to some other console-specific stylesheet. aknudsen 2014/11/08 12:00:52 Acknowledged. Show quoted text On 2014/11/07 16:27:19, lushnikov wrote: > given the suggestion in one of other comments to not use highlightSearchResult > function (and use highlightSearchResultWithStyleClass instead), this rule should > move to some other console-specific stylesheet. Acknowledged. aknudsen 2014/11/09 00:02:14 Done. Show quoted text On 2014/11/07 16:27:19, lushnikov wrote: > given the suggestion in one of other comments to not use highlightSearchResult > function (and use highlightSearchResultWithStyleClass instead), this rule should > move to some other console-specific stylesheet. Done.
	106 border-radius: 1px;

	107 padding: 1px;

	108 margin: -1px;

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

	110 }

OLD	NEW