margin-field.component.html
No OneTemporary
Actions

Subscribers

None

File Metadata

	<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>