Muchas gracias zalito12,
Nuevamente tu solución me ha resuelto el problema.
En el formulario lo doy nombre a cada botón "Editar" como "editar+número de línea":
Código PHP:
for(){
...
<TD> <input type="submit" id="editar[]" name="editar[<?php echo $i; ?>]" value="Editar" />
}
Más adelante comprobando si el vector "editar" ha sido pasado por POST hago el tratamiento adecuado:
Código PHP:
if(isset($_POST["editar"])){
$user = $_POST["editar"];
foreach($user as $key => $value){
$i = $key;
}
?>
...
<TD> <input type="text" name="nombre" maxlength="25" value="<?php echo $users[$i][1]; ?>" /><br /> </TD>
...
}
Muchas gracias de nuevo ;)