15 lines
No EOL
2 KiB
HTML
15 lines
No EOL
2 KiB
HTML
<!DOCTYPE html>
|
|
<!-- Page generated by OCaml with Ocsigen.
|
|
See http://ocsigen.org/ and http://caml.inria.fr/ for information -->
|
|
<html class="ada2" lang="fr" id="h" xmlns="http://www.w3.org/1999/xhtml"><head><title>gada-plus.ads</title><meta content="text/html; charset=utf-8" http-equiv="content-type"/><link media="all" href="../../ystyle.css" rel="stylesheet"/><script src="../../Scripts/yfold.js"></script></head><body><div class="header" id="header"><h1 id="title">gada-plus.ads</h1></div><main><code class="page block"><span class="kw">package</span> <span class="fname">GAda.Plus</span> <span class="kw">is</span><span class="eols">
|
|
|
|
</span> <span class="comment">-- Cette fonction ouvre une nouvelle fenêtre (fenêtre de dialogue)
|
|
</span> <span class="comment">-- et demande à l'utilisateur de cliquer sur un fichier.
|
|
</span> <span class="comment">--
|
|
</span> <span class="comment">-- Elle renvoie le nom du fichier cliqué
|
|
</span> <span class="comment">-- ou la chaîne vide "" si rien n'a été choisi.
|
|
</span> <span class="comment">--
|
|
</span> <span class="kw">function</span> <span class="fname">Choisir_Fichier</span> <span class="kw">return</span> <span class="type">String</span> ;<span class="eols">
|
|
|
|
</span><span class="kw">end</span> <span class="fname">GAda.Plus</span> ;
|
|
</code></main><footer><small class="pcom"><a class="caml_c" href="../../yversion.html" data-eliom-c-onclick="AnWUvvThhNOP">Version information</a></small><a target="_blank" href="http://www.insa-toulouse.fr"><img title="INSA Toulouse" style="width:73px;height:28px;" alt="INSA logo" src="../../Images/logo-insa-light.jpg"/></a><a target="_blank" href="http://jigsaw.w3.org/css-validator/check/referer"><img title="Validate css stylesheet" style="width:28px;height:32px;" alt="CSS3 logo" src="../../Images/css3.png"/></a><a target="_blank" href="http://validator.w3.org/check/referer"><img title="Validate html5 content" style="width:32px;height:32px;" alt="HTML5 logo" src="../../Images/html5.png"/></a></footer></body></html> |