site:jenkins.io /theme manager

AllVideos Images News Maps Shopping Books

Search tools

Theme Manager - Jenkins Plugins

plugins.jenkins.io › theme-manager

Sep 10, 2023 · Provides an extension point for adding user and global themes, built-in to Jenkins.

Theme Manager - Jenkins Plugins

plugins.jenkins.io › issues

Provides an extension point for adding user and global themes, built-in to Jenkins.

Theme Manager - Jenkins Update Sites

updates.jenkins.io › download › plugins

Download previous versions of Theme Manager.

Themes for user interface - Jenkins

www.jenkins.io › managing › ui-themes

To configure a theme, you can go to Manage Jenkins > System > Theme and enter the URL of your stylesheet and/or Javascript file. You can also configure this ...

Theme Manager - Jenkins Plugins

plugins.jenkins.io › healthscore

Sep 10, 2023 · Provides an extension point for adding user and global themes, built-in to Jenkins.

Theme Manager | Jenkins plugin

plugins.origin.jenkins.io › issues

Provides an extension point for adding user and global themes, built-in to Jenkins.

Theme Manager 215.vc1ff18d67920 API - Jenkins Javadoc

javadoc.jenkins.io › plugin › theme-man...

Theme Manager 215.vc1ff18d67920 API. Packages. Package, Description. io.jenkins.

Theme Manager - Jenkins Plugins

plugins.jenkins.io › dependencies

Sep 10, 2023 · Provides an extension point for adding user and global themes, built-in to Jenkins.

ThemeManagerFactory (Theme Manager 215.vc1ff18d67920 API)

javadoc.jenkins.io › jenkins › plugins

Pluggable ability to add additional built-in themes. The descriptor's display name will be used for the UI label. Since the user can configure this class, ...

Index (Theme Manager 215.vc1ff18d67920 API)

javadoc.jenkins.io › plugin › index-all

T · Holds URLs to CSS and JavaScript files. · Builder for creating a theme. · Pluggable ability to add additional built-in themes. · Definition of a Theme ...