jEdit / Bugs / #3493 Wrong "Tip of the day" for quick copy

#3493 Wrong "Tip of the day" for quick copy

Milestone: minor bug

Status: closed-fixed

Owner: Alan Ezust

Labels: documentation (62)

Priority: 5

Updated: 2011-01-14

Created: 2010-12-23

Creator: otmar struwe

Private: No

JEdit: 4.3.2

The tip of the day says:
If you are used to Unix text editors where a middle-mouse button click inserts the most recently selected text, enable quick copy in the Text Area pane of the Utilities>Global Options dialog box.

But the option has moved to the Mouse pane in the Utilities>Global Options dialog box.

Discussion

Alan Ezust - 2011-01-14

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

Alan Ezust - 2011-01-14

looks like kpouer already fixed it in jedit 4.4 and later.

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

Wrong "Tip of the day" for quick copy

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

Group

Searches

Help

#3493 Wrong "Tip of the day" for quick copy

Discussion