Saving a file with jEdit in a WebDAV folder seems to cause the file type to be set to application/*zip*. I have observed this behavior when mounting WedDAV with Konqueror and WebDrive.

Is there a way to tell jEdit not to change file attributes when saving?

Thanks!

hi everone. i have winxp sp2 with jre1.5.0_05. i tried installing both windows and java installer versions of jedit (on 3 computers like mine). however when lauching, i only see the splash screen and when the bottom progress bar completes, nothing happens and the splash picture just freezes! i checked the %path% environment variable. all things seem correct to me. i need jedit and thus i need your help!
(i tried launching via cmd, and this long error message produced)


[error] GUIUtilities: java.lang.NullPointerException
[error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source)
[error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.parseStyle(GUIUtilities. java:790)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:888)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:864)
[error] GUIUtilities: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPane.j ava:453)
[error] GUIUtilities: at org.gjt.sp.jedit.EditPane.(EditPane.java:358)
[error] GUIUtilities: at org.gjt.sp.jedit.View.createEditPane(View.java:1547)
[error] GUIUtilities: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java:139 3)
[error] GUIUtilities: at org.gjt.sp.jedit.View.(View.java:1197)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2141)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2117)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2097)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit$5.run(jEdit.java:3455)
[error] GUIUtilities: at java.awt.event.InvocationEvent.dispatch(Unknown Source )
[error] GUIUtilities: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpOneEventForHierarchy( Unknown Source)
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Un known Source)
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source )
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source )
[error] GUIUtilities: at java.awt.EventDispatchThread.run(Unknown Source)
[error] GUIUtilities: java.lang.NullPointerException
[error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source)
[error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.parseStyle(GUIUtilities. java:790)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:888)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:864)
[error] GUIUtilities: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPane.j ava:453)
[error] GUIUtilities: at org.gjt.sp.jedit.EditPane.(EditPane.java:358)
[error] GUIUtilities: at org.gjt.sp.jedit.View.createEditPane(View.java:1547)
[error] GUIUtilities: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java:139 3)
[error] GUIUtilities: at org.gjt.sp.jedit.View.(View.java:1197)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2141)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2117)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2097)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit$5.run(jEdit.java:3455)
[error] GUIUtilities: at java.awt.event.InvocationEvent.dispatch(Unknown Source )
[error] GUIUtilities: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpOneEventForHierarchy( Unknown Source)
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Un known Source)
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source )
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source )
[error] GUIUtilities: at java.awt.EventDispatchThread.run(Unknown Source)
[error] GUIUtilities: java.lang.NullPointerException
[error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source)
[error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.parseStyle(GUIUtilities. java:790)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:888)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:864)
[error] GUIUtilities: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPane.j ava:453)
[error] GUIUtilities: at org.gjt.sp.jedit.EditPane.(EditPane.java:358)
[error] GUIUtilities: at org.gjt.sp.jedit.View.createEditPane(View.java:1547)
[error] GUIUtilities: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java:139 3)
[error] GUIUtilities: at org.gjt.sp.jedit.View.(View.java:1197)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2141)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2117)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2097)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit$5.run(jEdit.java:3455)
[error] GUIUtilities: at java.awt.event.InvocationEvent.dispatch(Unknown Source )
[error] GUIUtilities: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpOneEventForHierarchy( Unknown Source)
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Un known Source)
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source )
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source )
[error] GUIUtilities: at java.awt.EventDispatchThread.run(Unknown Source)
[error] GUIUtilities: java.lang.NullPointerException
[error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source)
[error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.parseStyle(GUIUtilities. java:790)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:888)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:864)
[error] GUIUtilities: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPane.j ava:453)
[error] GUIUtilities: at org.gjt.sp.jedit.EditPane.(EditPane.java:358)
[error] GUIUtilities: at org.gjt.sp.jedit.View.createEditPane(View.java:1547)
[error] GUIUtilities: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java:139 3)
[error] GUIUtilities: at org.gjt.sp.jedit.View.(View.java:1197)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2141)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2117)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2097)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit$5.run(jEdit.java:3455)
[error] GUIUtilities: at java.awt.event.InvocationEvent.dispatch(Unknown Source )
[error] GUIUtilities: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpOneEventForHierarchy( Unknown Source)
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Un known Source)
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source )
[error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source )
[error] GUIUtilities: at java.awt.EventDispatchThread.run(Unknown Source)
[error] GUIUtilities: java.lang.NullPointerException
[error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source)
[error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.parseStyle(GUIUtilities. java:790)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:888)
[error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:864)
[error] GUIUtilities: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPane.j ava:453)
[error] GUIUtilities: at org.gjt.sp.jedit.EditPane.(EditPane.java:358)
[error] GUIUtilities: at org.gjt.sp.jedit.View.createEditPane(View.java:1547)
[error] GUIUtilities: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java:139 3)
[error] GUIUtilities: at org.gjt.sp.jedit.View.(View.java:1197)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2141)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2117)
[error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2097)
[error] GUIUtilities: at java.awt.event.InvocationEvent.dispatch(Unknown Source ) [error] GUIUtilities: at java.awt.EventQueue.dispatchEvent(Unknown Source) [error] GUIUtilities: at java.awt.EventDispatchThread.pumpOneEventForHierarchy( Unknown Source) [error] GUIUtilities: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Un known Source) [error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source ) [error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source ) [error] GUIUtilities: at java.awt.EventDispatchThread.run(Unknown Source) [error] GUIUtilities: java.lang.NullPointerException [error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source) [error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source) [error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.parseStyle(GUIUtilities. java:790) [error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:888) [error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:864) [error] GUIUtilities: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPane.j ava:453) [error] GUIUtilities: at org.gjt.sp.jedit.EditPane.(EditPane.java:358) [error] GUIUtilities: at org.gjt.sp.jedit.View.createEditPane(View.java:1547) [error] GUIUtilities: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java:139 3) [error] GUIUtilities: at org.gjt.sp.jedit.View.(View.java:1197) [error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2141) [error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2117) [error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2097) [error] GUIUtilities: at org.gjt.sp.jedit.jEdit$5.run(jEdit.java:3455) [error] GUIUtilities: at java.awt.event.InvocationEvent.dispatch(Unknown Source ) [error] GUIUtilities: at java.awt.EventQueue.dispatchEvent(Unknown Source) [error] GUIUtilities: at java.awt.EventDispatchThread.pumpOneEventForHierarchy( Unknown Source) [error] GUIUtilities: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Un known Source) [error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source ) [error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source ) [error] GUIUtilities: at java.awt.EventDispatchThread.run(Unknown Source) [error] GUIUtilities: java.lang.NullPointerException [error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source) [error] GUIUtilities: at java.util.StringTokenizer.(Unknown Source) [error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.parseStyle(GUIUtilities. java:790) [error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:888) [error] GUIUtilities: at org.gjt.sp.jedit.GUIUtilities.loadStyles(GUIUtilities. java:864) [error] GUIUtilities: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPane.j ava:453) [error] GUIUtilities: at org.gjt.sp.jedit.EditPane.(EditPane.java:358) [error] GUIUtilities: at org.gjt.sp.jedit.View.createEditPane(View.java:1547) [error] GUIUtilities: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java:139 3) [error] GUIUtilities: at org.gjt.sp.jedit.View.(View.java:1197) [error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2141) [error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2117) [error] GUIUtilities: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2097) [error] GUIUtilities: at org.gjt.sp.jedit.jEdit$5.run(jEdit.java:3455) [error] GUIUtilities: at java.awt.event.InvocationEvent.dispatch(Unknown Source ) [error] GUIUtilities: at java.awt.EventQueue.dispatchEvent(Unknown Source) [error] GUIUtilities: at java.awt.EventDispatchThread.pumpOneEventForHierarchy( Unknown Source) [error] GUIUtilities: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Un known Source) [error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source ) [error] GUIUtilities: at java.awt.EventDispatchThread.pumpEvents(Unknown Source ) [error] GUIUtilities: at java.awt.EventDispatchThread.run(Unknown Source) [error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0" [error] AWT-EventQueue-0: java.lang.NullPointerException [error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.TextAreaPainter.setStyle s(TextAreaPainter.java:218) [error] AWT-EventQueue-0: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPa ne.java:453) [error] AWT-EventQueue-0: at org.gjt.sp.jedit.EditPane.(EditPane.java:358 ) [error] AWT-EventQueue-0: at org.gjt.sp.jedit.View.createEditPane(View.java:154 7) [error] AWT-EventQueue-0: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java :1393) [error] AWT-EventQueue-0: at org.gjt.sp.jedit.View.(View.java:1197) [error] AWT-EventQueue-0: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2141) [error] AWT-EventQueue-0: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2117) [error] AWT-EventQueue-0: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2097) [error] AWT-EventQueue-0: at org.gjt.sp.jedit.jEdit$5.run(jEdit.java:3455) [error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown So urce) [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source) [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierar chy(Unknown Source) [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarch y(Unknown Source) [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown So urce) [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown So urce) [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)

JEdit launches, but the splash screen is completely blank (white area where the splash screen should be). Once JEdit fully loads, the main window is there, but it's contents are blank.

As far as I can tell, I think its a problem with my Java installation. Any Swing application that I run manually (samples from the SDK installation) don't show any of the JButtons, JLabels, etc. I've un-installed and re-installed the SDK (1.4.2_90) multiple times, but I haven't been able to get things to display properly.

Any ideas/help/suggestions on this issue? Thanks in advance.

~ J

I was wondering is there any plugin for jedit that will allow you to use breakpoints and stuff like that to debug files using jedit.

How do I enable the selecting of lines by clicking on the line number?

Is there a script that will automatically add a '>' whenever I type in '<'.
or automatically add a second double quote whenever I type the first one
or automatically add a ']' whenever I type a '['?
<> "" [] get it?

are there any addons/scripts that make jedit better for html authoring using VALID XHTML tags. All I've found are stuff that still do html by 1997 standards.

If you haven't guessed, I'm attached by the belly button to BBEdit. At home I have winxp and need to make Jedit mimic all the best functionality of BBEdit.

Before you say 'just learn Jedit', consider that I spend 8.5-10 hours at work using bbedit and maybe 2.5 hours at home using the computer. Not much time to truly learn it in it's default form. I'd prefer to try to just make it behave like BB.

Hi

I'd like to be able to copy text to the clipboard and paste it into the input field under "Search For" in the "Search and Replace" popup window. Can this be done in the Windows version?

Thanks

Peter Mount

I was a long time user of Textpad until I recently deserted to jEdit (See http://www.textpad.info/forum/viewtopic.php?t=6371 for more information). After a couple months I can report happily that even if Textpad comes out with a fabled version 5 with a bunch of cool new features, I doubt if it will come close to jEdit for me. So if there are any other Textpad refugees out there, I wanted to offer some quick hints for getting started with jEdit.

First of all, I should add a caveat: as a Notepad replacement, Textpad is still better than jEdit, because it opens really fast. As a develpment tool, though, jEdit is well worth the short delay. I should also explain that I use jEdit to develop ColdFusion, ASP.Net, VB.Net and Javascript and have yet to do any Java development with it. Another note: after leaving Textpad I also tried out Eclipse (which has a great ColdFusion plugin) for a while, but couldn't give up the powerful text editing features that Textpad and jEdit have.

Textpad Document Selector:
The Buffer List plugin is an improvement because it groups the files by directory.

Textpad workspaces:
Session plugin offers almost exactly the same functionality, as well as a handy toolbar that integrates with the Buffer List plugin.

Textpad tools:
The Console plugin offers a much more powerful interface for integrating external tools. Read the excellent documentation.

Textpad clip libraries:
I never used this feature much, but the Clipper plugin does the same thing.

Textpad block select mode:
Click and drag while holding down the ctrl key.

Textpad keyboard shortcuts:
Whatever it is, including all plugin commands, you can set up a shortcut for it in jEdit. See Global Options/Shortcuts.

Other plugins that I have quickly found indispensible are:
- Code Browser, for showing a function list using CTags. There is a textpad add-on that creates a popup window that shows a function list with ctags, but it never did the job for me.
- XML and Sidekick, for editing html and xml.

Of course, I'm just scratching the surface!

- David

I'm trying to open a document over webdavs (webdav over SSL). I tried https:// and webdavs://

Is this known to work or not work?

Thanks.

Is there a way to print just what's displayed on screen when working with folded text?, rather than the complete document?

How do I insert a Unicode character, if I know the hex code for it?

For example, U+00E7 (= c cedilla), or U+0BB1 (in the Tamil range).

Things I have tried:

(1) Entering the Unicode codes (e.g. \U+00E7) into the replace field of the find-and-replace dlg. (IMHO, this is the way it *ought* to work; it's what you do in Visual Slickedit, for example.) But instead, this just gives me the string "\U+00E7" in my buffer.

(2) Copying and pasting from the Unicode consortium charts. But the charts are in PDF, and don't seem to support cut-and-paste. (I'm aware of Unibook, a wonderful tool, but for the moment I can't use that, for reasons I won't go into...)

(3) Modifying the code at http://community.jedit.org/?q=node/view/2115. Specifically, I tried doing a find/replace where the replace string is

(char)Integer.parseInt(0xe7,16)

(and variants thereof); but I get an error msg

Static method parseInt( int, int ) not found in
class'java.lang.Integer

Not being a Java programmer, I'm not sure what to do with this error msg. I suppose I need to install some Java code or other, but I'd really rather not do that (not to mention that this is a *really* clumsy way to do find-and-replace).

(4) Macros | Misc | HexConvert, entering the string
0xE7
(and variants...). But I get the error msg
0xE7 is not a valid hex string.
(If that isn't valid, what is?!!)

(5) The CharacterMap plugin. When I choose the 8859-1 encoding in this plugin's dlg box, I can paste in the c-cedilla (which fortunately happens to be the same hex code as the Unicode c-cedilla). But when I choose UTF-8 encoding, it only gives me the Basic Latin box, and trying to paste in s.t. from the high end of that gives me U+FFFD. And of course Tamil characters (etc.) are not in the Basic Latin part of Unicode.

So how do I enter arbitrary Unicode characters in jEdit? Please note that I'm not trying to set up a keyboard for this, I just have to enter a single character from time to time (or do find-and-replace, where either the 'find' or the 'replace' field contains a Unicode char).

I am running JEdit 4.2 on Windows XP. If I try to print a C formatted file, some of the characters of the output run together. For example, ((x)<0)looks like the < is overstriking the 0. Is something wrong with my ocnfiguration, or is this a bug?

Hi there,

I've been using jedit for a short while now for various languages and on the whole I am very pleased but there is one thing that bugs the hell out of me. If I am writing scheme then it indents the closing bracket for me, but I don't want this. Is there any way to change it?

Example (the # characters represent spaces, current operation is first - desired is second):

(if (= i 10)
##(begin
####(do something)
####)
##)

what I want is:

(if (= i 10)
##(begin
####(do something)
##)
)

Thanks in advance!

When the user splits a view, little wedges pointing up, down, left or right are displayed at the upper left-hand corner of the panes. These are very handy in expanding the current pane and then restoring it to its previous configuration. I would like to create keyboard shortcuts for these useful functions, but I haven't been able to identify the commands by looking in the shortcuts list or in the API list. Can anyone tell me what these commands are called, and if they can be activated by a user shortcut?

When the user splits a view, little wedges pointing up, down, left or right are displayed at the upper left-hand corner of the panes. These are very handy in expanding the current pane and then restoring it to its previous configuration. I would like to create keyboard shortcuts for these useful functions, but I haven't been able to identify the commands by looking in the shortcuts list or in the API list. Can anyone tell me what these commands are called, and if they can be activated by a user shortcut?

Hi.

If I deactivate my second monitor in XP the search window still stays on the deactivated screen. How can I get it back without the use of an second monitor?

THX, Nils

Hello,
I'm translating jEdit 4.2 in french (see the link in my signature).
someone use my translation on unbutu (Linux) and said that the accentuated caracters didn't display correctly especially the title of the *.bsh files (macros) and the tips. I do think that's a problem of encoding.
How do I resolve this problem ?

Thanks a lot.

I am running jEdit 4.2 on Windows XP. I have made changes to the abbrevs file and now I would like to recover a copy of the default abbrevs file as it came with the original jEdit source files. I'm not familiar with the syntax for working with Java files -- can someone provide me with a command-line for extracting the original abbrevs file from the source files, or show me some other way of doing this? Thanks.