much better wildcard/partial port search

This does not require silly quoting. It adds a "partial"
checkbox in the ports sidebar. If this is ticked, simple
wildcarding * and ? are also supported.
This commit is contained in:
Oliver Gorwits
2013-09-10 23:26:08 +01:00
parent 282e2d9c7c
commit 77690513b8
3 changed files with 36 additions and 3 deletions

View File

@@ -385,6 +385,23 @@ td > form.nd_inline-form {
cursor: pointer;
}
/* fixup for prepended partial port name checkbox in sidebar */
.nd_port-partial-checkbox {
width: 136px;
padding: 0px 0px 0px 11px !important;
cursor: pointer;
}
.nd_port-partial-label {
padding: 0px !important;
}
.nd_port-partial {
margin-left: 5px !important;
margin-top: -5px;
margin-bottom: 5px !important;
}
/* fixup for prepended checkbox in sidebar */
.nd_sidebar .input-prepend {
margin-left: -2px;