diff options
author | Itamar <itamar8910@gmail.com> | 2022-03-29 16:45:26 +0300 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2022-03-29 17:45:36 +0200 |
commit | d9d299f884dca55d504eb269e770a2a9f0719f39 (patch) | |
tree | 947df053aad5db0e7ef993dddd9a145257a07d03 /Userland/DevTools/HackStudio/FindWidget.gml | |
parent | de902ab6598e898117e984f1b6a9c184368033c2 (diff) | |
download | serenity-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.gml | 32 |
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 + } +} |