PDA

Visualizza la versione completa : editor web2.0 con l'utilizzo di GWT


max83vv
24-11-2009, 09:53
buongiorno

sono nuovo di questo forum, mi chiamo massimo, mi presento...
Sto facendo un'applicazione web2.0, attraverso l'utilizzo di GWT.
Tale applicazione deve fungere da editor testuale dove sarÓ possibile
scrivere del teso del tipo:

ancestor(X, Y) :- edge(X, Y).
ancestor(X, Y) :- edge(X, Z), ancestor(Z, Y).

Fin qua ci sono, il mio problema Ŕ ke tale editor deve fornire degli aiuti nella
scrittura di tale testo, come per esempio:

1)se seleziono un'occorrenza di "ancestor", devono essere selezionate tutte le occorrenze di tale parola nell'editor

2)Per facilitarne la lettura tutte le occorrenze di "ancestor" devono essere di un colore mentre le occorrenze di "edge" devono essere di un altro colore. eccc.....

La mia domanda Ŕ:
SARESTE COSI' GENTILI DA CONSIGLIARMI QUALCHE LIBRERIA O COMPONENTE, CHE MI POSSA AIUTARE A FARE TUTTO CIO'??

vi ringrazio in anticipo, saluti
MAX83VV :ciauz:

Loading