Branch: refs/heads/master Home: https://github.com/jenkinsci/jenkins Commit: c637d4168ef41170908ddf0f967d70af1e8e5c4e https://github.com/jenkinsci/jenkins/commit/c637d4168ef41170908ddf0f967d70af1e8e5c4e Author: Markus Winter <m.win...@sap.com> Date: 2023-12-04 (Mon, 04 Dec 2023)
Changed paths: M core/src/main/java/hudson/widgets/HistoryWidget.java M core/src/main/resources/hudson/widgets/HistoryWidget/index.properties Log Message: ----------- make displayname of HistoryWidget configurable for alternate text (#8740) make displayname of HistoryWidget configurable for use with customizable-build-now plugin make the placeholder for the history filter less specific, the title already explains what this shows so just `Filter...` should be enough. -- You received this message because you are subscribed to the Google Groups "Jenkins Commits" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-commits+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-commits/jenkinsci/jenkins/push/refs/heads/master/dc983d-c637d4%40github.com.