Documentation/user-review-ui: remove intraline diff mention This preference doesn't exist anymore. Change-Id: I15faa971d5cfe80ab82295f1af4e307da1d17f10
diff --git a/Documentation/images/gwt-user-review-ui-side-by-side-diff-screen-intraline-difference.png b/Documentation/images/gwt-user-review-ui-side-by-side-diff-screen-intraline-difference.png deleted file mode 100644 index 044f96f..0000000 --- a/Documentation/images/gwt-user-review-ui-side-by-side-diff-screen-intraline-difference.png +++ /dev/null Binary files differ
diff --git a/Documentation/user-review-ui.txt b/Documentation/user-review-ui.txt index b300621..9eacaed 100644 --- a/Documentation/user-review-ui.txt +++ b/Documentation/user-review-ui.txt
@@ -1044,12 +1044,6 @@ + image::images/gwt-user-review-ui-side-by-side-diff-screen-expand-skipped-lines.png[width=800, link="images/gwt-user-review-ui-side-by-side-diff-screen-expand-skipped-lines.png"] -- [[intraline-difference]]`Intraline Difference`: -+ -Controls whether intraline differences should be highlighted. -+ -image::images/gwt-user-review-ui-side-by-side-diff-screen-intraline-difference.png[width=800, link="images/gwt-user-review-ui-side-by-side-diff-screen-intraline-difference.png"] - - [[syntax-highlighting]]`Syntax Highlighting`: + Controls whether syntax highlighting should be enabled.