diff options
Diffstat (limited to 'src/main/resources/webapp/apps/jenkinsApp/server.html')
| -rwxr-xr-x | src/main/resources/webapp/apps/jenkinsApp/server.html | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/main/resources/webapp/apps/jenkinsApp/server.html b/src/main/resources/webapp/apps/jenkinsApp/server.html index 2a220db..80544b0 100755 --- a/src/main/resources/webapp/apps/jenkinsApp/server.html +++ b/src/main/resources/webapp/apps/jenkinsApp/server.html @@ -57,7 +57,14 @@ <div ng-show="navbar.selectedIndex() == 1" class="row"> <div class="span12"> - <h3>Jobs</h3> + <form class="form-search form-inline well"> + <div class="input-append"> + <input type="text" class="span2 search-query" ng-model="jobs.query" ng-change="jobs.onSearchChange()"> + <button type="submit" class="btn" ng-click="jobs.onSearch()">Search</button> + </div> + </form> + </div> + <div class="span12"> <table class="table"> <tbody> <tr ng-repeat="job in jobs.rows"> |