Ole b29fa98a47 Use options instead of positional parameters ...

I am planning to add one more condition, which will make relying on
position very hard to read.

Change-Id: I25b6decbc59911bed60171622cd1a6d8f32513e6

2020-09-28 14:37:06 +02:00

..

gr-diff-cursor_html.ts

Remove _scrollTopMargin after removing gr-fixed-panel

2020-08-13 20:23:15 +00:00

gr-diff-cursor_test.js

Move next-file-toast to gr-diff-cursor

2020-09-25 17:56:53 +02:00

gr-diff-cursor.ts

Use options instead of positional parameters

2020-09-28 14:37:06 +02:00