From c2d80d52de691b51cc14ee1402ea74701a294ff1 Mon Sep 17 00:00:00 2001 From: Andreas Stefl Date: Sun, 20 Sep 2026 16:23:22 +0200 Subject: [PATCH] Draw the highlight and ink marks flat, like the marks beside them Two of the icons in the strip were pen drawings among four flat text marks. The highlight becomes the stroke rather than the tool - a band across a line of text - and the ink loses the pen over it, keeping humps wider and higher than ic_format_squiggly's wave, which stands for an underline. Co-Authored-By: Claude Opus 5 (1M context) Claude-Session: https://claude.ai/code/session_01FJJdfqpnVCKBNHXjAVxSou --- .../droid/ui/widget/EditingTools.kt | 4 ++-- app/src/main/res/drawable/ic_draw.xml | 10 ++++++++-- app/src/main/res/drawable/ic_highlight.xml | 17 +++++++++++++++++ app/src/main/res/drawable/ic_marker.xml | 17 ----------------- 4 files changed, 27 insertions(+), 21 deletions(-) create mode 100644 app/src/main/res/drawable/ic_highlight.xml delete mode 100644 app/src/main/res/drawable/ic_marker.xml diff --git a/app/src/main/java/app/opendocument/droid/ui/widget/EditingTools.kt b/app/src/main/java/app/opendocument/droid/ui/widget/EditingTools.kt index d56886618162..e413526bab05 100644 --- a/app/src/main/java/app/opendocument/droid/ui/widget/EditingTools.kt +++ b/app/src/main/java/app/opendocument/droid/ui/widget/EditingTools.kt @@ -109,7 +109,7 @@ class EditingTools(context: Context, attributeSet: AttributeSet?) : row.addView(textColor) // a tap flips the highlight on the selection, in the colour the long press picked - val highlight = newTool(R.drawable.ic_marker, R.string.tool_highlight, HIGHLIGHT_COLOR) + val highlight = newTool(R.drawable.ic_highlight, R.string.tool_highlight, HIGHLIGHT_COLOR) paintBar(highlight, HIGHLIGHT_COLOR) highlight.setOnClickListener { ifOffered(HIGHLIGHT_COLOR) { @@ -515,7 +515,7 @@ class EditingTools(context: Context, attributeSet: AttributeSet?) : /** The marks a pdf takes, in the annotator's names. */ private val MARKS = listOf( - Mark("highlight", R.drawable.ic_marker, R.string.tool_mark_highlight), + Mark("highlight", R.drawable.ic_highlight, R.string.tool_mark_highlight), Mark("underline", R.drawable.ic_format_underlined, R.string.tool_mark_underline), Mark( "strikeOut", diff --git a/app/src/main/res/drawable/ic_draw.xml b/app/src/main/res/drawable/ic_draw.xml index 1a5c1e6be3b5..39f562750e5a 100644 --- a/app/src/main/res/drawable/ic_draw.xml +++ b/app/src/main/res/drawable/ic_draw.xml @@ -4,7 +4,13 @@ android:viewportWidth="24" android:viewportHeight="24" android:tint="?attr/colorControlNormal"> + + android:strokeColor="@android:color/white" + android:strokeWidth="2" + android:strokeLineCap="round" + android:strokeLineJoin="round" + android:fillColor="@android:color/transparent" + android:pathData="M3,15.5C5,8.5 8,8 9.5,13S13,19.5 15,14.5 19,8 21,10.5"/> diff --git a/app/src/main/res/drawable/ic_highlight.xml b/app/src/main/res/drawable/ic_highlight.xml new file mode 100644 index 000000000000..fb4fefd12785 --- /dev/null +++ b/app/src/main/res/drawable/ic_highlight.xml @@ -0,0 +1,17 @@ + + + + + + diff --git a/app/src/main/res/drawable/ic_marker.xml b/app/src/main/res/drawable/ic_marker.xml deleted file mode 100644 index 9db766ce875a..000000000000 --- a/app/src/main/res/drawable/ic_marker.xml +++ /dev/null @@ -1,17 +0,0 @@ - - - - - -