command
Here are 916 public repositories matching this topic...
-
Updated
Jul 4, 2020 - TypeScript
-
Updated
Sep 28, 2020 - JavaScript
-
Updated
Oct 4, 2020
Summary
The documentation "activate_announcer_on_command_failure" is not helpful for users as it misses information a
-
Updated
Sep 16, 2020 - PHP
-
Updated
Jun 14, 2020 - JavaScript
-
Updated
Sep 3, 2020
-
Updated
Jul 16, 2020 - TypeScript
-
Updated
Jul 28, 2020 - Go
-
Updated
Jul 11, 2020 - Go
-
Updated
Sep 28, 2020 - Go
-
Updated
Oct 21, 2018 - JavaScript
This feature request is not related with any problem. It's just something that with the use of the library I notice and I think is missing
The feature I'm telling is the possibilty to change the text of a selected item in a Scroll Menu with a method. This method could receive the index of the item you want to change and the new text, or only recieve the new text and take the value of the index t
-
Updated
Jul 8, 2020 - Python
-
Updated
Dec 19, 2019 - Rust
-
Updated
Feb 20, 2018 - Shell
-
Updated
Oct 1, 2020 - TypeScript
-
Updated
Oct 5, 2020 - C#
-
Updated
Jul 3, 2020 - Go
Suggestions:
Micro::Case
instance
<Sum (Micro::Case) attributes={a: 1, b: 1}>
<Sum (Micro::Case::Safe) attributes={a: 1, b: 1}>
<Sum (Micro::Case::Strict) attributes={a: 1, b: 1}>
Micro::Case:::Result
instance
<Success (Micro::Case::Result) type=:ok data={number: 2} transitions=1>
<Failure (Micro::Case::Result) type=:invalid_number data={invalid_number: true}
-
Updated
Sep 11, 2018 - JavaScript
Once #150 is done, add a way to set default switches something like
manager.getContexts().setDefaultSwitch(Residence.class, "res,residence,r");
-
Updated
Sep 30, 2020 - TypeScript
Improve this page
Add a description, image, and links to the command topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the command topic, visit your repo's landing page and select "manage topics."
GenMarkdownTreeCustom has a way to a header (
filePrepender
arg), however there is not a first class way to add a footer.