jEdit Community - Resources for users of the jEdit Text Editor
Help (F1) does not work - can not contact to server
Submitted by rovf on Wednesday, 11 January, 2012 - 09:30
Calling up Help (F1) does not open a help window.

The activity log does not show any error. Actually, it does not show any activity whatsoever, except a periodic entry saying

10:27:35 [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=recent-files,source=null]

The problem occurs independent on whether I try to call up the help using the F1 key, or via the Help menu.

Any ideas why this doesn't work?
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
SOLVED (Calling up Help (F1) does not open a help window.)
by rovf on Wed, 11/01/2012 - 10:49
My mistake, everything works fine. The following had happened:

When the help window opened, it was automatically placed *behind* the jEdit Window, so I could not see it. Whether this was caused by the fact that I'm using "focus follows mouse / autoraise" as Window policy, or whether it is a genereal property, that F1 doesn't give the focus to the help window, I don't know.
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