margin-field.component.html
f16a385fadcdmaster

margin-field.component.html
View Options

			<svg xmlns:svg="http://www.w3.org/2000/svg"
			xmlns="http://www.w3.org/2000/svg"
			xmlns:xhtml="http://www.w3.org/1999/xhtml"
			[attr.viewBox]="viewBox" [attr.height]="margin_heightlocal_zoomzoomFactor" [attr.width]="margin_widthlocal_zoomzoomFactor"
			class = 'marginfield'>
			<svg:g *ngFor="let line of lines">
			<svg:g *ngIf="line.number % 2 == 0">
			<svg:rect [attr.x]="line_x-1" [attr.y]="line.bottom+1-line_height"
			[attr.height]="line_height" [attr.width]="line.number > 9 ? line_length + line_length/2 : line_length"
			[ngStyle]="assignStyle(line, hoveredWord, hoveredLine, getHoverStatus(line))"
			[ngClass]="{
			'marginfield unhighlighted': getHoverStatus(line) != HOVERED_STATUS,
			'marginfield highlight': getHoverStatus(line) == HOVERED_STATUS }" > </svg:rect>
			<svg:text class="text" [attr.x]="line_x" [attr.y]="line.bottom" [container]="container"
			[interactedObject]="line">{{line.number}}</svg:text>
			</svg:g>
			</svg:g>
			</svg>