jedit-devel Mailing List for jEdit

  Did you try the version on Dropbox?  The plugin update has not yet been released, thus the Pending status.

https://www.dropbox.com/s/tvq8o01gnxicbw9/XML.jar?dl=0


-

From: UR6LAD [mailto:ur...@us...]
Sent: Wednesday, January 20, 2016 4:00 AM
To: jed...@li...
Subject: [ jEdit-devel ] [jedit:plugin-bugs] Re: #1831 XML plugin not catering for backslash?


Hi guys,

Is it fixed?

I updated the XML plugin this morning and met the same issue.

<snip>

--
Regards,
Vitaliy Berdikskikh AKA UR6LAD http://ur6lad.co.ua/
73!

________________________________

[plugin-bugs:#1831]<http://sourceforge.net/p/jedit/plugin-bugs/1831/> XML plugin not catering for backslash?

Status: pending-fixed
Group:
Labels: XML
Created: Fri Jan 08, 2016 10:11 AM UTC by geniosity
Last Updated: Tue Jan 19, 2016 12:19 AM UTC
Owner: Alan Ezust

jEdit version: 5.3.0
XML Plugin version: 3.0.1
Sidekick version: 1.8
Java version: Oracle 1.8.0_25
OS: Windows 7

Steps to reproduce: Open a file that uses xml mode

Errors:

________________________________

C:\Users\gawsit\AppData\Roaming\jEdit\jars\XML.jar:
Cannot start: java.util.regex.PatternSyntaxException: Illegal/unsupported escape sequence near index 3
C:\Users\gawsit\AppData\Roaming\jEdit
^
Try updating to a newer version of the plugin.

________________________________

java.lang.NoClassDefFoundError: xml/parser/XmlParser
at java.lang.ClassLoader.defineClass1(Native Method)
at java.lang.ClassLoader.defineClass(ClassLoader.java:760)
at java.lang.ClassLoader.defineClass(ClassLoader.java:642)
at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:435)
at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109)
at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
at org.gjt.sp.jedit.bsh.classpath.ClassManagerImpl.classForName(ClassManagerImpl.java:203)
.......

________________________________

Sent from sourceforge.net because jed...@li...<mailto:jed...@li...> is subscribed to http://sourceforge.net/p/jedit/plugin-bugs/

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

Your file on Dropbox seems to work for me, thanks!

On Tue, Jan 19, 2016 at 2:19 AM, Alan Ezust <ez...@us...> wrote:

>
>    - *status*: open --> pending-fixed
>
> ------------------------------
>
> * [plugin-bugs:#1831] <http://sourceforge.net/p/jedit/plugin-bugs/1831/>
> XML plugin not catering for backslash?*
>
> *Status:* pending-fixed
> *Group:*
> *Labels:* XML
> *Created:* Fri Jan 08, 2016 10:11 AM UTC by geniosity
> *Last Updated:* Mon Jan 18, 2016 11:53 PM UTC
> *Owner:* Alan Ezust
>
> jEdit version: 5.3.0
> XML Plugin version: 3.0.1
> Sidekick version: 1.8
> Java version: Oracle 1.8.0_25
> OS: Windows 7
>
> Steps to reproduce: Open a file that uses xml mode
>
> Errors:
> ------------------------------
>
> C:\Users\gawsit\AppData\Roaming\jEdit\jars\XML.jar:
> Cannot start: java.util.regex.PatternSyntaxException: Illegal/unsupported
> escape sequence near index 3
> C:\Users\gawsit\AppData\Roaming\jEdit
> ^
> Try updating to a newer version of the plugin.
> ------------------------------
>
> java.lang.NoClassDefFoundError: xml/parser/XmlParser
> at java.lang.ClassLoader.defineClass1(Native Method)
> at java.lang.ClassLoader.defineClass(ClassLoader.java:760)
> at java.lang.ClassLoader.defineClass(ClassLoader.java:642)
> at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:435)
> at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109)
> at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
> at
> org.gjt.sp.jedit.bsh.classpath.ClassManagerImpl.classForName(ClassManagerImpl.java:203)
> .......
> ------------------------------
>
> Sent from sourceforge.net because jed...@li... is
> subscribed to https://sourceforge.net/p/jedit/plugin-bugs/
>
> To unsubscribe from further messages, a project admin can change settings
> at https://sourceforge.net/p/jedit/admin/plugin-bugs/options. Or, if this
> is a mailing list, you can unsubscribe from the mailing list.
>
>
> ------------------------------------------------------------------------------
> Site24x7 APM Insight: Get Deep Visibility into Application Performance
> APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
> Monitor end-to-end web transactions and take corrective actions now
> Troubleshoot faster and improve end-user experience. Signup Now!
> http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>
>

On Mon, 28 Dec 2015, Alan Ezust wrote:

> I am now using a 4k monitor on Linux and have some comments.
> First of all, in KDE5, it is possible to specify an alternative dots per
> inch, which seems to be used by all gtk and qt apps.
> However, it seems this setting is totally ignored by Java.
>
> I am not sure if this is a Java bug or something that can be easily enabled
> in jEdit but it would be nice to have jEdit respond in a similar way to all
> the other apps when the system DPI is changed, so that I don't need to
> change the font sizes at all.
>
> In KDE5, there is now also a way to "Scale my screen" and I can't figure
> out what exactly that does yet.
>
> On the mac, I can do screen scaling and all apps respond in a similar way,
> so I don't need to fiddle with the font settings in jEdit at all.
>
> On win7, we have a way of "make fonts bigger" which does something but I am
> not exactly sure what.  I am assuming win10 has a way to scale screens too.

Already some weeks ago, I've gone through the pain to make two 
installations of Windows 10 for testing: ond Full-HD laptop and one 
workstation with 4K display.  My general impression is that there is no 
fundamental difference to Windows 7 or 8.1.  But I did not look 
systematically at Windows documentation, if there are additional APIs.

Here is a fully bundled application of jEdit 5.3.0 that has been tested 
with many system and screen combinations already: 
http://isabelle.in.tum.de/website-Isabelle2016-RC0


Concerning Java AWT/Swing and OS dpi information for GUI elements, there 
is this interesting article about "HiDPI Graphics on Windows and Linux" 
(relevant for Java 9): https://bugs.openjdk.java.net/browse/JDK-8055212

That was pointed out by a friendly user of Isabelle/jEdit, see also the 
thread "Isabelle2016-RC0: HiDPI + Linux" on 
https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html (the 
archive is a bit lagging behind the actual mailing list).


 	Makarius

<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    Install BufferTabs plugin. ;)<br>
    <br>
    <div class="moz-cite-prefix">Le 09/01/2016 13:38, tazo todua a
      écrit :<br>
    </div>
    <blockquote
cite="mid:569...@je..."
      type="cite">
      <div class="markdown_content">
        <hr>
        <p><strong> <a moz-do-not-send="true" class="alink"
              href="http://sourceforge.net/p/jedit/feature-requests/504/">[feature-requests:#504]</a>
            Opened Text files list intead of DROPDOWN ...</strong></p>
        <p><strong>Status:</strong> open<br>
          <strong>Group:</strong> none<br>
          <strong>Created:</strong> Sat Jan 09, 2016 12:38 PM UTC by
          tazo todua<br>
          <strong>Last Updated:</strong> Sat Jan 09, 2016 12:38 PM UTC<br>
          <strong>Owner:</strong> nobody</p>
        <p>hello.<br>
          every time when i want to switch to another file, i have to do
          very hard method: open dropdown and select file:<br>
          <img moz-do-not-send="true" alt="" rel="nofollow"
            src="http://i.imgur.com/RPvUJdI.png"></p>
        <p>instead, how can i show files like this (like in Notepad ++):<br>
          <img moz-do-not-send="true" alt="" rel="nofollow"
            src="http://i.imgur.com/rkt0K6f.png"></p>
        <hr>
        <p>Sent from sourceforge.net because
          <a class="moz-txt-link-abbreviated" href="mailto:jed...@li...">jed...@li...</a> is subscribed to <a
            moz-do-not-send="true"
            href="https://sourceforge.net/p/jedit/feature-requests/"><a class="moz-txt-link-freetext" href="https://sourceforge.net/p/jedit/feature-requests/">https://sourceforge.net/p/jedit/feature-requests/</a></a></p>
        <p>To unsubscribe from further messages, a project admin can
          change settings at <a moz-do-not-send="true"
            href="https://sourceforge.net/p/jedit/admin/feature-requests/options.">https://sourceforge.net/p/jedit/admin/feature-requests/options.</a>
          Or, if this is a mailing list, you can unsubscribe from the
          mailing list.</p>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
<a class="moz-txt-link-freetext" href="http://pubads.g.doubleclick.net/gampad/clk?id=267308311&amp;iu=/4140">http://pubads.g.doubleclick.net/gampad/clk?id=267308311&amp;iu=/4140</a></pre>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
    </blockquote>
    <br>
  </body>
</html>

Hello,

Is it possible for a macro (or plugin action) to determine which keyboard
shortcut was used to invoke it?

Thanks for any tips.

Jesse