Dale Anson | 31 Oct 01:33 2014
Picon

[jedit:merge-requests] #200 Fix for bug 3889, Buffer switcher locked to Metal L&F

[merge-requests:#200] Fix for bug 3889, Buffer switcher locked to Metal L&F

Status: open
Group: for 5.2.x
Created: Fri Oct 31, 2014 12:33 AM UTC by Dale Anson
Last Updated: Fri Oct 31, 2014 12:33 AM UTC
Owner: nobody

Please merge revision 23708. This fixes at least bug 3889 and possibly a couple of others related to look and feel and keyboard shortcut issues with the Buffer Switcher on Mac Yosemite.

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/merge-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/merge-requests/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.

------------------------------------------------------------------------------
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Roman Horváth | 30 Oct 02:14 2014
Picon

[jedit:bugs] #3892 jEdit has problems in Yosemite (and/or Java 8)

[bugs:#3892] jEdit has problems in Yosemite (and/or Java 8)

Status: open
Group: Regressive (new to devel)
Labels: Yosemite Java 8 keyboard / shortcuts instability
Created: Thu Oct 30, 2014 01:14 AM UTC by Roman Horváth
Last Updated: Thu Oct 30, 2014 01:14 AM UTC
Owner: nobody

I recently installed new MacOS version (Yosemite) and after that the jEdit stopped to work. The information in dialog box told me that I should install the legacy version of Java 6 (which I refused). First I tried to install newer version instead – Java 8 (hoping that will help…), but the problem stood… So I tried to download newer version of jEdit, but there was only pre-release 5.2pre1 to download that was newer than my current version. After installing it the jEdit is working but not fully. Controlling jEdit via keyboard makes some strange results. Some shortcuts stopped to react, some shortcuts will execute twice and the buffer switcher does not response to keyboard controls (maybe the problem touches more elements in the environment, but I noticed it just with the buffer switcher). That all together makes my work with jEdit much harder. Also the Console plugin (I know there is separate bug report system for plugins, but I believe that this is not the problem of the plugin) hangs after attempt to open it, which makes jEdit useless for developing for me… I am not sure if the problem is in Yosemite, Java 8 or jEdit pre-release (or all in synergy). I can only let you know that there is some problem connected to Yosemite and/or Java 8 and wait and hope there comes a solution in the near future… I would like to help, but I do not know what I should do to tell you more… If you know how to track some more information, please let me know. Thank you!

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.

------------------------------------------------------------------------------
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Alan Ezust | 29 Oct 17:36 2014
Picon

[jedit:plugin-feature-requests] #343 BufferTabs: Show parent folder when there are buffers with same filename

[plugin-feature-requests:#343] BufferTabs: Show parent folder when there are buffers with same filename

Status: open
Group:
Created: Wed Oct 29, 2014 04:36 PM UTC by Alan Ezust
Last Updated: Wed Oct 29, 2014 04:36 PM UTC
Owner: nobody

I noticed this neat feature in PyCharm: When there are 2 files called "init.py" open, it shows the parent folders ALSO, to help you distinguish between them without hovering.
That would be nice to have in buffertabs.

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.

------------------------------------------------------------------------------
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
will69 | 29 Oct 11:22 2014
Picon

[jedit:bugs] #3891 Paste from Clipboard in JDK9

[bugs:#3891] Paste from Clipboard in JDK9

Status: open
Group: Regressive (new to devel)
Created: Wed Oct 29, 2014 10:22 AM UTC by will69
Last Updated: Wed Oct 29, 2014 10:22 AM UTC
Owner: nobody

Pasting text from the Linux clipboard does not work in jEdit 5.3pre1 using JDK 1.9.0-ea-b36, the current build from https://jdk9.java.net/download/, jEdit works fine with JDK 8. The error message is:

java.io.IOException: invalid stream header: four bytes of pasted text in hex
...
at org.gjt.sp.jedit.Registers.getTextFromTransferable(Registers.java:415)
at org.gjt.sp.jedit.Registers.paste(Registers.java:267)
...

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.

------------------------------------------------------------------------------
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Alan Ezust | 28 Oct 18:36 2014
Picon

[jedit:bugs] #3890 HTML/XHTML DTD and JavaScript-Syntaxhighlighting

  • status: closed-rejected --> open
  • Group: --> minor bug

[bugs:#3890] HTML/XHTML DTD and JavaScript-Syntaxhighlighting

Status: open
Group: minor bug
Labels: XML
Created: Sat Sep 10, 2005 04:05 AM UTC by Björn Kautler
Last Updated: Tue Oct 28, 2014 05:36 PM UTC
Owner: nobody

If you specify a DTD in a HTML-file, the parser doesn't
care about it, that shouldn't be.
And if you want to handle XHTML-files, you have to
parse them with XML as parser, but then JavaScript
isn't syntax-highlighted.

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.

------------------------------------------------------------------------------
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Alan Ezust | 28 Oct 18:36 2014
Picon

[jedit:bugs] #3890 HTML/XHTML DTD and JavaScript-Syntaxhighlighting

Ticket moved from /p/jedit/patches/533/

[bugs:#3890] HTML/XHTML DTD and JavaScript-Syntaxhighlighting

Status: closed-rejected
Group:
Labels: XML
Created: Sat Sep 10, 2005 04:05 AM UTC by Björn Kautler
Last Updated: Tue Oct 28, 2014 05:36 PM UTC
Owner: nobody

If you specify a DTD in a HTML-file, the parser doesn't
care about it, that shouldn't be.
And if you want to handle XHTML-files, you have to
parse them with XML as parser, but then JavaScript
isn't syntax-highlighted.

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.

------------------------------------------------------------------------------
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Alan Ezust | 28 Oct 18:35 2014
Picon

[jedit:patches] #533 HTML/XHTML DTD and JavaScript-Syntaxhighlighting

  • status: open --> closed-rejected
  • Comment:

This is not a proper diff. Please resubmit against jEdit 5.2 or current trunk.

[patches:#533] HTML/XHTML DTD and JavaScript-Syntaxhighlighting

Status: closed-rejected
Group:
Labels: XML
Created: Sat Sep 10, 2005 04:05 AM UTC by Björn Kautler
Last Updated: Mon Aug 25, 2014 02:30 AM UTC
Owner: nobody

If you specify a DTD in a HTML-file, the parser doesn't
care about it, that shouldn't be.
And if you want to handle XHTML-files, you have to
parse them with XML as parser, but then JavaScript
isn't syntax-highlighted.

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.

------------------------------------------------------------------------------
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Alan Ezust | 27 Oct 22:24 2014
Picon

[jedit:patches] #525 CompletionPopup should accept TAB for completion selection

  • status: open --> closed-accepted
  • assigned_to: Alan Ezust
  • Group: -->
  • Comment:

committed 23705

[patches:#525] CompletionPopup should accept TAB for completion selection

Status: closed-accepted
Group:
Labels: keyboard / shortcuts
Created: Sat Mar 30, 2013 02:02 PM UTC by Jakub Holý
Last Updated: Mon Aug 25, 2014 03:40 AM UTC
Owner: Alan Ezust

Summary: call "list.setFocusTraversalKeysEnabled(false);" in the constructor of org.gjt.sp.jedit.gui.CompletionPopup to make it possible to use TAB for completion selection, in the same way as ENTER.

This currently doesn't work because TAB is used for component traversal by the focus subsystem and is thus never passed to the JList.

Reference: http://docs.oracle.com/javase/tutorial/uiswing/events/keylistener.html (read the "Version note"

Env.: jEdit 5.0.0, Oracle Java 1.7.0:15 on OS X (though this should apply since JDK 1.4 and to all platforms)

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.

------------------------------------------------------------------------------
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Makarius | 27 Oct 14:50 2014
Picon

[jedit:patches] #538 Proper button margins for Nimbus L&F

[patches:#538] Proper button margins for Nimbus L&F

Status: open
Group:
Created: Mon Oct 27, 2014 01:50 PM UTC by Makarius
Last Updated: Mon Oct 27, 2014 01:50 PM UTC
Owner: nobody

Nimbus buttons have an empty border by default (according to getBorder/setBorder), but there is an extra "content border" for painting.

See also http://stackoverflow.com/questions/8764602/how-to-override-nimbus-button-margins-for-a-single-button

The patch uses the described technique to adjust the borders for the dockable window panel accordingly, such that Nimbus is no longer deformed.

Note that the Insets(6, 6, 6, 6) stems from Button.contentMargins in javax/swing/plaf/nimbus/NimbusDefaults.java

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.

------------------------------------------------------------------------------
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Eric Le Lay | 27 Oct 07:58 2014
Picon
Picon

new HelpServer plugin

Hi list,

here is a new solution to make the help (especially javadoc) more
usable.

What it does:
it makes all the help content available over http. This can then be
read from a normal web browser, with full support for enhanced css and
javascript. It emulates the layout of current help, and also has an
on-the-fly toc filter, which I find convenient to quickly find the
javadoc of a class.

Where is the code?
I host it in my sf account, but will move it to jEdit project if it
gains interest:
https://sourceforge.net/u/kerik-sf/helpserver/ci/master/tree/

How to use it?
Install the plugin. From the Plugins menu, select HelpServer,Open jEdit
Help. It will open jEdit help in your browser.

How it works:
It uses the org.gjt.jedit.help.* classes (made available as needed
with reflection). The toc tree and search results are returned
as JSON, presented in the browser using d3.js. The http server code is
nanohttpd.

Where to go from now?
It seems to work very well, based on my limited testing.
I'd see it as a good candidate for shipping with jEdit.
There is an HelpSearcher interface to abstract current HelpIndex
searcher. If someone wants to use lucene to index, it should be
possible to integrate it (add a service.xml file and load the chosen
implementation dynamically).

Hoping you find it useful...

Cheers,
Eric

------------------------------------------------------------------------------
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel

Makarius | 26 Oct 22:09 2014
Picon

[jedit:patches] #537 Floating dockables as JDialog

[patches:#537] Floating dockables as JDialog

Status: open
Group:
Created: Sun Oct 26, 2014 09:09 PM UTC by Makarius
Last Updated: Sun Oct 26, 2014 09:09 PM UTC
Owner: nobody

The change of JFrame into JDialog makes floating dockables depend on the enclosing frame more formally. Thus window managers are more likely to keep parts together where they belong. This is particularly important with full-screen mode, especially on Mac OS X, but also on Windows: as JDialog the floating windows stay on top of the view, as JFrame they may fall behind it and become inaccessible.

This change of policy has worked out quite well for Isabelle/jEdit since May 2014. Afterwards I've enjoyed OSX full-screen mode a lot, and in Yosemite it even replaces the former "maximize" button of the window.

Nonetheless, such window policies are subject to discussion. See also the isabelle-dev mailing list thread "NEWS: Improved management of dockable windows" from May 2014: https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/2014-May/005365.html

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.

------------------------------------------------------------------------------
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel

Gmane