webapp: Allow user to specify the ssh port when setting up a remote.
This commit is contained in:
parent
25bc68d764
commit
551924e6be
6 changed files with 77 additions and 36 deletions
|
@ -46,6 +46,18 @@ withNote field note = field { fieldView = newview }
|
|||
in [whamlet|^{fieldwidget} <span>^{note}</span>|]
|
||||
|
||||
|
||||
{- Makes a help button be displayed after a field, that displays a help
|
||||
- widget when clicked. Requires a unique ident for the help. -}
|
||||
withHelp :: Field sub master v -> GWidget sub master () -> Text -> Field sub master v
|
||||
withHelp field help ident = withNote field note
|
||||
where
|
||||
note = [whamlet|
|
||||
<a .btn data-toggle="collapse" data-target="##{ident}">
|
||||
Help
|
||||
<div ##{ident} .collapse>
|
||||
^{help}
|
||||
|]
|
||||
|
||||
data EnableEncryption = SharedEncryption | NoEncryption
|
||||
deriving (Eq)
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue