|
|
|
![]() |
|
Strumenti |
![]() |
#1 |
Junior Member
Iscritto dal: Nov 2009
Messaggi: 3
|
[JAVA] editor web2.0 con l'utilizzo di GWT
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 ![]() ![]() ![]() |
![]() |
![]() |
![]() |
#2 | |
Senior Member
Iscritto dal: Aug 2005
Messaggi: 579
|
Quote:
Un annetto fa ho tentato di fare un editor di codice C con highlight delle parole chiave... impresa impossibile allo stato attuale delle cose (attuale un anno fa) in quanto chi rende possibile l'highlight è la textbox che però non permette il controllo sul testo dal codice essendo discendente da un tag <DIV>. Mentre chi permette il controllo sul testo non permette l'highlight perchè discende da un <textarea>. |
|
![]() |
![]() |
![]() |
Strumenti | |
|
|
Tutti gli orari sono GMT +1. Ora sono le: 04:18.