Branch: refs/heads/master
Home: https://github.com/jenkinsci/jenkins
Commit: 951f927aa99bd280391970238b85de1b42142dc8
https://github.com/jenkinsci/jenkins/commit/951f927aa99bd280391970238b85de1b42142dc8
Author: ddavison <[email protected]>
Date: 2013-06-06 (Thu, 06 Jun 2013)
Changed paths:
M core/src/main/resources/lib/layout/layout.jelly
M war/src/main/webapp/css/style.css
M war/src/main/webapp/scripts/hudson-behavior.js
Log Message:
-----------
Taking out the `defaulted` js logic with the search-box, and embracing CSS3's
'placeholder' attribute.
Prettying up the search box
Commit: 0537ffada661715206d750cff2dafbb23268529b
https://github.com/jenkinsci/jenkins/commit/0537ffada661715206d750cff2dafbb23268529b
Author: ddavison <[email protected]>
Date: 2013-06-06 (Thu, 06 Jun 2013)
Changed paths:
M core/src/main/resources/lib/layout/layout.jelly
Log Message:
-----------
Left a trailing 'g' in the layout.
Commit: ff7b943c8d2deb82b28443a8bacb4dbed52b9ada
https://github.com/jenkinsci/jenkins/commit/ff7b943c8d2deb82b28443a8bacb4dbed52b9ada
Author: ddavison <[email protected]>
Date: 2013-06-06 (Thu, 06 Jun 2013)
Changed paths:
M core/src/main/resources/lib/layout/layout.jelly
M war/src/main/webapp/scripts/hudson-behavior.js
Log Message:
-----------
Reverting to head for layout.jelly, and adding the default `has-default-text`
back into the search box
Commit: 673ef3e6cee0984252709c2bb7b3545a9a2ff734
https://github.com/jenkinsci/jenkins/commit/673ef3e6cee0984252709c2bb7b3545a9a2ff734
Author: Jesse Glick <[email protected]>
Date: 2013-06-06 (Thu, 06 Jun 2013)
Changed paths:
M core/src/main/resources/lib/layout/layout.jelly
M war/src/main/webapp/css/style.css
Log Message:
-----------
Merge pull request #801 from ddavison/styling-fixes
Search bar improvements
Compare:
https://github.com/jenkinsci/jenkins/compare/b086943a3577...673ef3e6cee0
--
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].
For more options, visit https://groups.google.com/groups/opt_out.
