jEdit Community - Resources for users of the jEdit Text Editor
hypersearch results window--can fontsize be increased
Submitted by mchunkat on Saturday, 31 July, 2004 - 06:43
Am a total jedit newbie...Found it to be much faster than expected...wanted to know whether there is any way to increase the fontsize of results in the hypersearch results window. My eyesight is not what it used to be...thanks in advance.
Mohan Chunkath
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
I am curious too
by savithari on Thu, 05/08/2004 - 21:51
Mohan,

I am not sure if you found the answer. I am looking for the same. The closest I came is the jython macro for bean shell. The contents of Hypersearch can be copied to a buffer. I have not tested the hyper link capability is lost.

If you know the font answer please let me know.

Regards
-Narahari
User login
Browse archives
« November 2024  
MoTuWeThFrSaSu
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   101634
Context Free Art (*.cfdg)   0.31   46062
BBEdit scheme   1.0   18601
JBuilder scheme   .001   18502
ColdFusion scheme   1.0   18031
R Edit Mode - extensive version   0.1   17481
Advanced HTML edit mode   1.0   16213
Matlab Edit Mode   1.0   16075
jEdit XP icons   1.0   15236
XP icons for jEdit   1.1   14300