private void AbrirArchivo(string nombre)
{
if (archivoActual.LeerPrograma(nombre))
{
ListViewVisualStyles.LimpiarIndices();
mapaProcesador.RestablecerMapaPDM();
RefrescarListViews();
ActualizarOpcionesEjecucion();
ActualizarStatusStrip();
}
}