Branch: refs/heads/master
Home: https://github.com/jenkinsci/jenkins
Commit: c637d4168ef41170908ddf0f967d70af1e8e5c4e
https://github.com/jenkinsci/jenkins/commit/c637d4168ef41170908ddf0f967d70af1e8e5c4e
Author: Markus Winter <[email protected]>
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 [email protected].
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.
