<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_7v7juutaag4lmie3vdljjk1e32, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
svoid showImageWithRecognizedTexts_makeTeachable2(final BufferedImage img, final ImageSurface is, final L<RecognizedText> lines, final SimpleRecognizer sr) {
  onImageSurfaceHighlightChange(is, voidfunc(Rect r) {
    RecognizedText rec = findByField(lines, +r);
    setToolTip(is, rec == null ? null : str(rec.text));
  });
  
  imageSurfacePopupMenuWhenHighlighted_top(is, voidfunc(JPopupMenu menu, final Rect r) {
    addPopupMenuItem(menu, "Teach...", r {
      RecognizedText rec = findByField(lines, +r);
      ocr_teachPhraseForm(new BWImage(img.clip(rec.r)), sr);
    });
    addSeparator(menu);
  });
}