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_heightzoomFactor" [attr.width]="margin_widthzoomFactor"
	class = 'marginfield'>
	<svg:g *ngFor="let line of lines">
	<svg:g *ngIf="line.id % 2 == 0">
	<svg:rect [attr.x]="line_x-1" [attr.y]="line.bottom+1-line_height"
	[attr.height]="line_height" [attr.width]="line.id > 9 ? line_length + line_length/2 : line_length"
	[ngClass]="{
	'marginfield unhighlighted': true,
	'marginfield highlight': highlight(line) }" > </svg:rect>
	<svg:text class="text" [attr.x]="line_x" [attr.y]="line.bottom"
	[interactedLine]="line">{{line.id}}</svg:text>
	</svg:g>
	</svg:g>
	</svg>