Utilidad de la lista de declaraciones

alexgadea / fun-gui

fun-gui es la interfaz grafica para fun

GNU General Public License v3.0

1 stars 0 forks source link

Utilidad de la lista de declaraciones #4

Closed manugunther closed 12 years ago

manugunther commented 12 years ago

Al hacer click en un elemento de la lista de declaraciones, deberíamos mover el cursor hasta la posición en el texto a donde comienza la declaración.

manugunther commented 12 years ago

Al hacer click en un elemento de la lista de declaraciones, se selecciona el texto donde está escrita dicha declaración. Además, si el tab actual es uno diferente al del archivo donde se encuentra la declaración, se selecciona ese.