summaryrefslogtreecommitdiff
path: root/Userland/DevTools/HackStudio/FindWidget.gml
diff options
context:
space:
mode:
authorItamar <itamar8910@gmail.com>2022-03-29 16:45:26 +0300
committerAndreas Kling <kling@serenityos.org>2022-03-29 17:45:36 +0200
commitd9d299f884dca55d504eb269e770a2a9f0719f39 (patch)
tree947df053aad5db0e7ef993dddd9a145257a07d03 /Userland/DevTools/HackStudio/FindWidget.gml
parentde902ab6598e898117e984f1b6a9c184368033c2 (diff)
downloadserenity-d9d299f884dca55d504eb269e770a2a9f0719f39.zip
HackStudio: Add FindWidget
The find widget appears on Ctrl+F. It uses the GUI::TextEditor search API to search for text, which also takes care of highlighting the search results.
Diffstat (limited to 'Userland/DevTools/HackStudio/FindWidget.gml')
-rw-r--r--Userland/DevTools/HackStudio/FindWidget.gml32
1 files changed, 32 insertions, 0 deletions
diff --git a/Userland/DevTools/HackStudio/FindWidget.gml b/Userland/DevTools/HackStudio/FindWidget.gml
new file mode 100644
index 0000000000..190e43d5aa
--- /dev/null
+++ b/Userland/DevTools/HackStudio/FindWidget.gml
@@ -0,0 +1,32 @@
+@GUI::Widget {
+ name: "find_widget"
+ fill_with_background_color: true
+ shrink_to_fit: true
+ visible: false
+ layout: @GUI::HorizontalBoxLayout {
+ margins: [0, 0]
+ }
+
+ @GUI::TextBox {
+ name: "input_field"
+ max_width: 250
+ }
+
+ @GUI::Label {
+ name: "index_label"
+ max_width: 30
+ text: ""
+ }
+
+ @GUI::Button {
+ name: "next"
+ icon: "/res/icons/16x16/go-down.png"
+ max_width: 15
+ }
+
+ @GUI::Button {
+ name: "previous"
+ icon: "/res/icons/16x16/go-up.png"
+ max_width: 15
+ }
+}