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.
