Я бы хотел использовать replaceAll с GWT более конкретно:
doSomeGWTStuffWithTheString(text.replaceAll("(?i)(" + query + ")", "<b>$1</b>"));
Но по какой-то причине он не запускается.Я полагаю, я должен использовать какую-то специальную библиотеку для этого.
Если вы знаете, как сделать это в GWT, пожалуйста, дайте мне знать.
Я использую бета-версию 2.4 GWT.