[gnome-builder] plugins/shellcmd: add caption explaining commands to users
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/shellcmd: add caption explaining commands to users
- Date: Mon, 22 Aug 2022 20:00:42 +0000 (UTC)
commit 54f4ae8a36f2c7aed692c1214860523b8a5715d1
Author: Christian Hergert <chergert redhat com>
Date: Mon Aug 22 13:00:21 2022 -0700
plugins/shellcmd: add caption explaining commands to users
This is a new feature and therefore could probably use a bit of guidance
to the user about how to use it.
src/plugins/shellcmd/tweaks.ui | 9 +++++++++
1 file changed, 9 insertions(+)
---
diff --git a/src/plugins/shellcmd/tweaks.ui b/src/plugins/shellcmd/tweaks.ui
index 06803a7d3..9ad7c6508 100644
--- a/src/plugins/shellcmd/tweaks.ui
+++ b/src/plugins/shellcmd/tweaks.ui
@@ -7,6 +7,15 @@
<object class="IdeTweaksPage" id="commands_page">
<property name="title" translatable="yes">Commands</property>
<property name="icon-name">text-x-script-symbolic</property>
+ <child>
+ <object class="IdeTweaksGroup">
+ <child>
+ <object class="IdeTweaksCaption">
+ <property name="text" translatable="yes">Use commands to run build tooling,
applications, or shell scripts and map them to a keyboard shortcut. They can run from various environments
such as the build pipeline, runtime environment, or host operating system.</property>
+ </object>
+ </child>
+ </object>
+ </child>
<child>
<object class="IdeTweaksGroup" id="command_create_group">
<property name="title" translatable="yes">Commands</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]