jEdit / Patches / #376 Fix for bug #3155813 (MAC OS platform)

#376 Fix for bug #3155813 (MAC OS platform)

Status: closed-accepted

Owner: nobody

Labels: general (64)

Priority: 5

Updated: 2011-08-31

Created: 2011-01-16

Creator: Evan Wright

Private: No

Believe it or not, this patch fixes bug #3155813 - "checked menu item error on OSX". Apparently, isShowing() does not work correctly on a screen menu bar, but isVisible() does.

Discussion

Evan Wright - 2011-01-16

Checkbox.patch

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2011-08-30

summary: Fix for bug #3155813 --> Fix for bug #3155813 (MAC OS platform)
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Matthieu Casanova - 2011-08-31

status: open --> closed-accepted
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Matthieu Casanova - 2011-08-31

applied in rev 19894, thanks

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Fix for bug #3155813 (MAC OS platform)

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#376 Fix for bug #3155813 (MAC OS platform)

Discussion