From 8983aa83a86f3512b9dfd48cc0fdda0a1e5a5ad4 Mon Sep 17 00:00:00 2001
From: Lubos Lenco <lubos.lenco@gmail.com>
Date: Fri, 29 Oct 2021 15:25:28 +0200
Subject: [PATCH] Use pencil label name on ios

---
 Sources/arm/ui/BoxPreferences.hx | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Sources/arm/ui/BoxPreferences.hx b/Sources/arm/ui/BoxPreferences.hx
index 86aceb52..25e7762e 100644
--- a/Sources/arm/ui/BoxPreferences.hx
+++ b/Sources/arm/ui/BoxPreferences.hx
@@ -338,7 +338,11 @@ class BoxPreferences {
 				ui.enabled = true;
 			}
 
+			#if krom_ios
+			if (ui.tab(htab, tr("Pencil"), true)) {
+			#else
 			if (ui.tab(htab, tr("Pen"), true)) {
+			#end
 				ui.text(tr("Pressure controls"));
 				Config.raw.pressure_radius = ui.check(Id.handle({selected: Config.raw.pressure_radius}), tr("Brush Radius"));
 				Config.raw.pressure_hardness = ui.check(Id.handle({selected: Config.raw.pressure_hardness}), tr("Brush Hardness"));