Giter Club home page Giter Club logo

Comments (7)

bugy avatar bugy commented on July 28, 2024

Hi @xprntb3. Unfortunately there is no supported way to hide the button (or prohibit stop).
You can hide the button via custom CSS. But it will be hidden for everyone.

from script-server.

xprntb3 avatar xprntb3 commented on July 28, 2024

Hi @xprntb3. Unfortunately there is no supported way to hide the button (or prohibit stop). You can hide the button via custom CSS. But it will be hidden for everyone.

Hey, thanks for the quick reply!
That's no problem, it can be hidden completely and for everyone.
Is there a documentation on editing custom css? I haven't found one yet.

Once i got it working, i will write another comment in this issue explaining how, so that others
that maybe need it aswell can apply it.

If you guys also take feature requests, maybe the ability to prevent stopping of scripts would be a good idea,
i can imagine others might find this useful aswell

from script-server.

MNeill73 avatar MNeill73 commented on July 28, 2024

from script-server.

bugy avatar bugy commented on July 28, 2024

@MNeill73 this won't work I think. Because STOP button will transform into KILL button after 5 seconds. And you cannot "trap" kill command.

from script-server.

MNeill73 avatar MNeill73 commented on July 28, 2024

from script-server.

xprntb3 avatar xprntb3 commented on July 28, 2024

Hello guys, found the solution!

first, go to your conf/theme/theme.css file (doesn't exist from the getgo, but you can download one of the custom themes for example)

Then edit the file and add the above css code to that file above the html:root definition:


.button-stop.btn.red.lighten-1 {
    display: none;
}

.button-stop.btn.disabled.red.lighten-1 {
    display: none;
}

html:root {
    --hover-color: rgba(255, 255, 255, 0.04);_
....

This will hide the stop-button.

Again, thanks to everyone!

from script-server.

bugy avatar bugy commented on July 28, 2024

Cool, yes, this is the right place to define your custom styles

from script-server.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.