X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fuwobo-panel%2Fcontrol.html;h=d47e6f749d98a8a82a754389fcc530d38338486a;hb=f693e2de79c1a95422a5efd22acbcea5003eeaba;hp=5345fa33466762b593164b36fe785ecd2c0e2293;hpb=eb6b979aab9c57fc6daec391849ce318e0ca3067;p=helm.git diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html index 5345fa334..d47e6f749 100644 --- a/helm/uwobo-panel/control.html +++ b/helm/uwobo-panel/control.html @@ -37,6 +37,7 @@ The sections:
Profiles | +top | +
List existent profiles.
++ |
Create a new profile.
+Name | +Parent profile | +Parent profile password | +|
---|---|---|---|
+ + | ++ + | ++ + | ++ + | +
Remove a profile.
+Name | +Password | +|
---|---|---|
+ + | ++ + | ++ + | +
Show profile parameters.
+Name | +Password | +|
---|---|---|
+ + | ++ + | ++ + | +
Set profile parameters.
+Name | +Password | +Parameter name | +Parameter value | +|
---|---|---|---|---|
+ + | ++ + | ++ + | ++ + | ++ + | +