/**
* Converts keyword token types to correct case.
*/
void keywords2case(View view)
{
// declarations run faster than doing Token.KEYWORDx comparison
byte KEYWORD1 = Token.KEYWORD1;
JEditBuffer buffer = view.getBuffer();
JEditTextArea textArea = view.getTextArea();
Token token = null;

Selection[] selection = textArea.getSelection();
Buffer.TokenList info = null;
int pos = 0;
int lineStart = 0;

for(int line = 0; line < textArea.getLineCount(); ++line)
{
info = buffer.markTokens(line);
token = info.getFirstToken();
lineStart = buffer.getLineStartOffset(line);
pos = lineStart;
while(token != null)
{
if (KEYWORD1 == token.id)
{
// old mimic for using upper case
String word = buffer.getText(pos,token.length);
buffer.remove(pos,token.length);
// !!! HERE the original keyword should be inserted !!!
buffer.insert(pos,word.toUpperCase());
}
pos += token.length;
token = token.next;
}
}
view.getTextArea().setSelection(selection);
view.getStatus().setMessageAndClear("Converted Keywords to correct Case");
}
keywords2case(view);