No sé si se trata de un bug o simplemente no se hizo, pero sería buena idea poder cambiar el nombre de variables y flags sin tener que borrarlo y crear uno nuevo, porque actualmente no me deja cambiarlo de ningún sitio. Además en el panel de flags y variables parece que se puede cambiar, porque te deja reescribir el nombre, pero al darle enter sale el siguiente error.
No sé si se trata de un bug o simplemente no se hizo, pero sería buena idea poder cambiar el nombre de variables y flags sin tener que borrarlo y crear uno nuevo, porque actualmente no me deja cambiarlo de ningún sitio. Además en el panel de flags y variables parece que se puede cambiar, porque te deja reescribir el nombre, pero al darle enter sale el siguiente error.