Bugfix for Macro Properties/Insert_Buffer_Properties

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

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

#638 Bugfix for Macro Properties/Insert_Buffer_Properties

Milestone: None

Status: closed-accepted

Owner: Eric Le Lay

Labels: None

Priority: 5

Updated: 2024-10-23

Created: 2024-10-09

Creator: Robert Schwenn

Private: No

Fixed Macro Properties/Insert_Buffer_Properties.bsh to work with jEdit 5.7:

GUIUtilities.defaultRowHeight() => GenericGUIUtilities.defaultRowHeight()

1 Attachments

Insert_Buffer_Properties.bsh.patch

Discussion

Eric Le Lay - 2024-10-23

status: open --> closed-accepted

assigned_to: Eric Le Lay

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

Eric Le Lay - 2024-10-23

Committed in [r25763] Thanks,

Related

Commit: [r25763]

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

Log in to post a comment.