Changes for page Search
From version 6.1
edited by Andrea Omicini
on 25/09/2021 15:57
on 25/09/2021 15:57
Change comment:
There is no comment for this version
To version 7.1
edited by Andrea Omicini
on 25/09/2021 15:58
on 25/09/2021 15:58
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -10,7 +10,7 @@ 10 10 <div style="background:lightgray;padding:5px;font-size:larger"> 11 11 {{stringEngIta eng="Find" ita="Trova" /}} 12 12 <br/> 13 - <input type="text" name="text" value="$!text.replace(">", ">").replace("<", "<").replace('"', """)" size=" 40"/>13 + <input type="text" name="text" value="$!text.replace(">", ">").replace("<", "<").replace('"', """)" size="100%"/> 14 14 <br/> 15 15 {{stringEngIta eng="in space" ita="nello spazio" /}} 16 16 [[{{stringEngIta eng="Talks" ita="Presentazioni" /}}>>Talks.WebHome]]