runtime/observatory/lib/src/elements/script_inset.html - Issue 959043003: Build script views programmatically.

Side by Side Diff: runtime/observatory/lib/src/elements/script_inset.html

Issue 959043003: Build script views programmatically. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart

Patch Set: Created 5 years, 10 months 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 | Annotate | Revision Log

« runtime/observatory/lib/src/elements/script_inset.dart ('K') | « runtime/observatory/lib/src/elements/script_inset.dart ('k') | runtime/observatory/lib/src/elements/script_view.dart » ('j') | runtime/observatory/lib/src/elements/script_view.dart » ('J')
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')

OLD	NEW
1 <link rel="import" href="../../../../packages/polymer/polymer.html">	1 <link rel="import" href="../../../../packages/polymer/polymer.html">

2 <link rel="import" href="observatory_element.html">	2 <link rel="import" href="observatory_element.html">

3	3

4 <polymer-element name="script-inset" extends="observatory-element">	4 <polymer-element name="script-inset" extends="observatory-element">

5 <template>

6 <style>

7 .sourceInset {

8 }

9 .sourceBox {

10 background-color: #f5f5f5;

11 border: 1px solid #ccc;

12 padding: 10px;

13 overflow-y: auto;

14 }

15 .sourceTable {

16 display: table;

17 }

18 .sourceRow {

19 display: table-row;

20 }

21 .sourceItem, .sourceItemCurrent {

22 display: table-cell;

23 vertical-align: top;

24 font: 400 14px consolas, courier, monospace;

25 line-height: 125%;

26 white-space: pre;

27 }

28 .currentLine {

29 background-color: #fff;

30 }

31 .currentCol {

32 background-color: #6cf;

33 }

34 .hitsNone, .hitsNotExecuted, .hitsExecuted {

35 display: table-cell;

36 vertical-align: top;

37 font: 400 14px consolas, courier, monospace;

38 min-width: 32px;

39 text-align: right;

40 color: #a8a8a8;

41 }

42 .hitsNotExecuted {

43 background-color: #e66;

44 }

45 .hitsExecuted {

46 background-color: #6d6;

47 }

48 </style>

49 <div class="sourceInset">

50 <content></content>

51 <div class="sourceBox" style="max-height:{{height}}">

52 <div class="sourceTable">

53 <template if="{{ linesReady }}">

54 <template repeat="{{ line in lines }}">

55 <template if="{{ line != null }}">

56 <div class="sourceRow" id="{{ makeLineId(line.line) }}">

57 <breakpoint-toggle line="{{ line }}"></breakpoint-toggle>

58

59 <div class="sourceItem"> </div>

60

61 <template if="{{ line.hits == null \|\|

62 line.hits < 0 }}">

63 <div class="hitsNone">{{ line.line }}</div>

64 </template>

65 <template if="{{ line.hits == 0 }}">

66 <div class="hitsNotExecuted">{{ line.line }}</div>

67 </template>

68 <template if="{{ line.hits > 0 }}">

69 <div class="hitsExecuted">{{ line.line }}</div>

70 </template>

71

72 <div class="sourceItem"> </div>

73

74 <template if="{{ line.line == currentLine }}">

75 <div class="sourceItem"><span class="currentLine">{{

76 clip(line.text,0,currentCol

77 )}}</span><span class="currentCol">{{

78 clip(line.text,currentCol,currentCol+1)

79 }}</span><span class="currentLine">{{

80 clip(line.text,currentCol+1)

81 }}</span></div>

82 </template>

83 <template if="{{ line.line != currentLine }}">

84 <div class="sourceItem">{{line.text}}</div>

85 </template>

86 </div>

87 </template>

88

89 <template if="{{ line == null }}">

90 <breakpoint-toggle line="{{ null }}"></breakpoint-toggle>

91 <div class="sourceItem"> </div>

92 <div class="hitsNone">...</div>

93 <div class="sourceItem"> </div>

94 <div class="sourceItem"></div>

95 </template>

96

97 </template>

98 </template>

99

100 <template if="{{ !linesReady }}">

101 <div class="sourceRow">

102 <div class="sourceItem">loading...</div>

103 </div>

104 </template>

105 </div>

106 </div>

107 </div>

108 </template>

109 </polymer-element>	5 </polymer-element>

110	6

111 <polymer-element name="breakpoint-toggle" extends="observatory-element">	7 <polymer-element name="breakpoint-toggle" extends="observatory-element">

112 <template>	8 <template>

113 <style>	9 <style>

114 .emptyBreakpoint, .possibleBreakpoint, .busyBreakpoint, .unresolvedBreakpo int, .resolvedBreakpoint {	10 .emptyBreakpoint, .possibleBreakpoint, .busyBreakpoint, .unresolvedBreakpo int, .resolvedBreakpoint {

115 display: table-cell;	11 display: table-cell;

116 vertical-align: top;	12 vertical-align: top;

117 font: 400 14px consolas, courier, monospace;	13 font: 400 14px consolas, courier, monospace;

118 min-width: 1em;	14 min-width: 1em;

(...skipping 51 matching lines...) Expand 10 before \| Expand all \| Expand 10 after Loading...
170 <div class="resolvedBreakpoint">	66 <div class="resolvedBreakpoint">

171 <a on-click="{{ toggleBreakpoint }}">B</a>	67 <a on-click="{{ toggleBreakpoint }}">B</a>

172 </div>	68 </div>

173 </template>	69 </template>

174 </template> <!-- line != null -->	70 </template> <!-- line != null -->

175	71

176 </template>	72 </template>

177 </polymer-element>	73 </polymer-element>

178	74

179 <script type="application/dart" src="script_inset.dart"></script>	75 <script type="application/dart" src="script_inset.dart"></script>

OLD	NEW