products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/macros/Misc/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: U.java   Sprache: Unknown

Untersuchungsergebnis.bsh Download desCS {CS[195] BAT[269] Abap[272]}zum Wurzelverzeichnis wechseln

/**
 * Display int and hex values for the character at 
 * the caret in the status bar.
 *
 * Copyright 2004 Ollie Rutherfurd <[email protected]>
 *
 * $Id: Display_Character_Code.bsh 24663 2017-03-21 23:49:43Z daleanson $
 */

// Localization
final static String CharacterAtCaretLabel = jEdit.getProperty("macro.rs.DisplayCharacterCode.CharacterAtCaret.label", "Character at caret:"); 
 
void displayCharacterCode(View view)
{
 JEditTextArea textArea = view.getTextArea();
 int caret = textArea.getCaretPosition();
 int line = textArea.getCaretLine();
 if(caret < textArea.getLineEndOffset(line)-1)
 {
  char c = buffer.getText(caret,1).charAt(0);
  StringBuffer buf = new StringBuffer();
  buf.append(CharacterAtCaretLabel + " ");
  //buf.append("int=").append((int)c).append(", ");
  buf.append("hex=").append(Integer.toString((int)c,16)).append(", ");
  buf.append("dec=").append(Integer.toString((int)c,10)).append(", ");
  buf.append("oct=").append(Integer.toString((int)c,8)).append(", ");
  buf.append("bin=").append(Integer.toString((int)c,2));
  view.getStatus().setMessageAndClear(buf.toString());
 }
 else
     javax.swing.UIManager.getLookAndFeel().provideErrorFeedback(null); 
}

displayCharacterCode(view);

[ zur Elbe Produktseite wechseln0.88Quellennavigators  ]