@Override long /*int*/ gtk_expose_event (long /*int*/ widget, long /*int*/ eventPtr) { if ((state & OBSCURED) != 0) return 0; drawInheritedBackground (eventPtr, 0); return super.gtk_expose_event (widget, eventPtr); }
@Override int /*long*/ gtk_expose_event (int /*long*/ widget, int /*long*/ eventPtr) { if ((state & OBSCURED) != 0) return 0; drawInheritedBackground (eventPtr, 0); return super.gtk_expose_event (widget, eventPtr); }
@Override long /*int*/ gtk_expose_event (long /*int*/ widget, long /*int*/ eventPtr) { if ((state & OBSCURED) != 0) return 0; drawInheritedBackground (eventPtr, 0); return super.gtk_expose_event (widget, eventPtr); }
@Override int /*long*/ gtk_expose_event (int /*long*/ widget, int /*long*/ eventPtr) { if ((state & OBSCURED) != 0) return 0; drawInheritedBackground (eventPtr, 0); return super.gtk_expose_event (widget, eventPtr); }
@Override int /*long*/ gtk_expose_event (int /*long*/ widget, int /*long*/ eventPtr) { if ((state & OBSCURED) != 0) return 0; drawInheritedBackground (eventPtr, 0); return super.gtk_expose_event (widget, eventPtr); }
@Override int /*long*/ gtk_expose_event (int /*long*/ widget, int /*long*/ eventPtr) { if ((state & OBSCURED) != 0) return 0; drawInheritedBackground (eventPtr, 0); return super.gtk_expose_event (widget, eventPtr); }
@Override int /*long*/ gtk_expose_event (int /*long*/ widget, int /*long*/ event) { if ((state & OBSCURED) != 0) return 0; boolean isFocus = caret != null && caret.isFocusCaret (); if (isFocus) caret.killFocus (); int /*long*/ result = super.gtk_expose_event (widget, event); if (isFocus) caret.setFocus (); return result; }
@Override int /*long*/ gtk_expose_event (int /*long*/ widget, int /*long*/ event) { if ((state & OBSCURED) != 0) return 0; boolean isFocus = caret != null && caret.isFocusCaret (); if (isFocus) caret.killFocus (); int /*long*/ result = super.gtk_expose_event (widget, event); if (isFocus) caret.setFocus (); return result; }
@Override long /*int*/ gtk_expose_event (long /*int*/ widget, long /*int*/ event) { if ((state & OBSCURED) != 0) return 0; boolean isFocus = caret != null && caret.isFocusCaret (); if (isFocus) caret.killFocus (); long /*int*/ result = super.gtk_expose_event (widget, event); if (isFocus) caret.setFocus (); return result; }