Hallo Kai,
Vielen Dank Euch allen. Diese einfach JavaScript-Lösung ist für meine Zwecke ideal.
Ich muss da noch mal was korrigieren:
Schreib "document." vor das form1.eing.value, sonst gibt es in Mozilla und Co Probleme.
Und natürlich braucht das <script>-Anfangstag auch ein Attribut type="text/javascript".
<script type="text/javascript" language="JavaScript">
<!--
function prf () {
var zahl = document.form1.eing.value;
if(zahl%1 != 0) {
alert("keine ganze Zahl!");
return false;
}
return true;
}
//-->
</script>
Gruß Gernot