jedit-users

Re: [ jEdit-users ] modernizing the build process: github/actions, maven central, etc.

[David A. <dav...@gm...>]

Hi all,

I agree that there are many questions here (Git, Github, github actions)
and would strongly argue in favor of all of them, in particular the move to
github.
i do suppose a read-only GitHub mirror accomplishes a lot of what you get
out of github anyways.

if the "git" direction is decided on, i can volunteer to help work on that
- but would not want to decide for the group about other hosting.
Björn: ultimately sounds like you have a handle on things but I'm available
to tinker/iterate on things - if it helps, lmk

best,
David

On Mon, Jun 12, 2023 at 5:45 AM Vampire <Va...@je...> wrote:

> Hi again
>
> Forgot to say, whether we "move" to GitHub or just mirror the code is a
> completely different discussion.
> While many projects went away from SourceForge, this is not really
> mandatory.
> SourceForge is not dead to my knowledge and also provides much more
> possibilities and flexibility.
> For example, for the things already in Git repositories we have our own
> Git hooks running on the SourceForge repos that are not possible on GitHub
> and so on.
>
> Regards
> Björn
>
> Am Mo., 12. Juni 2023 um 11:41 Uhr schrieb Vampire <Va...@je...>:
>
>> Hi David
>>
>> I know I horribly failed in doing the Git-migration in a timely manner,
>> but I'm going to soon pick up where I left off and finally finish the Git
>> migration of the source code,
>> I was just unfortunately interrupted again by some paid work. :-(
>>
>> There is no need for the `jedit-project` org on GitHub you just invited
>> me to though.
>> We already have `jedit-editor` on GitHub, `jedit` group on GitLab, and
>> the `jEdit` workspace on Bitbucket,
>> and I'm still hoping to get contact to the seemingly unused `jedit`
>> account on GitHub to also there get the name.
>>
>> Once I finished the Git-migration of the main repo and also the plugins,
>> I would at least put some mirroring up to have the code also on GitHub and
>> maybe the others.
>> And I'm also planning to then use GitHub actions for building, especially
>> as you can build on macOS for free which we need for building the macOS
>> distributable.
>> Actually I'm already "abusing" one of my other GitHub projects' GitHub
>> actions to do the macOS build on releases, so I know it works as intended.
>>
>> Best regards
>> Björn
>>
>>
>> Am Mo., 12. Juni 2023 um 11:07 Uhr schrieb David Ankin <
>> dav...@gm...>:
>>
>>> Hi folks,
>>>
>>> I would like to create an official home for this project on github,
>>> resume publishing versions of the library (or reusable pieces?) to maven
>>> central - i believe this would be beneficial to both users and developers
>>> as it would encourage people to view the project as living rather than dead
>>> and unmaintained. its sort of an inevitable association with source forge.
>>>
>>> if anyone is interested in making this a reality, let me know.
>>>
>>> best,
>>> David
>>> --
>>> -----------------------------------------------
>>> jEdit Users' List
>>> jEd...@li...
>>> https://lists.sourceforge.net/lists/listinfo/jedit-users
>>>
>>

[ jEdit-users ] modernizing the build process: github/actions, maven central, etc.

[David A. <dav...@gm...>]

Hi folks,

I would like to create an official home for this project on github, resume
publishing versions of the library (or reusable pieces?) to maven central -
i believe this would be beneficial to both users and developers as it would
encourage people to view the project as living rather than dead and
unmaintained. its sort of an inevitable association with source forge.

if anyone is interested in making this a reality, let me know.

best,
David

Re: [ jEdit-users ] All the mirror sites are presenting errors while downloading plug-ins

[James <gen...@gm...>]

Hi

I had this issue when I had a file permissions issue or an incorrect
directory setup (sorry, I can't remember which one it ended up being).

I had the issue because I was copying an old installation to a new laptop
but the structure had changed.

Just thought I'd mention in case it gives you an idea of where to look.

thanks

On Mon, Jun 12, 2023 at 4:57 AM Jon Blanchard via jEdit-users <
jed...@li...> wrote:

> AMD Ryzen 7 PRO 2700U
> 24.0 GB (22.9 GB usable)
> Windows 10 Pro version 22H2 build 19045.2965
>
> I tried every mirror site listed in the app to download available
> plug-ins, but every site returned multiple instances of the following alert:
>
> [image: Inline image]
>
> Is a correctly working mirror site available or is there something on my
> laptop that I need to investigate?
>
> Thanks in advance for your response.
>
> EP Delta
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>

[ jEdit-users ] All the mirror sites are presenting errors while downloading plug-ins

[Jon B. <enp...@ya...>]

AMD Ryzen 7 PRO 2700U
24.0 GB (22.9 GB usable)
Windows 10 Pro version 22H2 build 19045.2965

I tried every mirror site listed in the app to download available plug-ins, but every site returned multiple instances of the following alert:


Is a correctly working mirror site available or is there something on my laptop that I need to investigate? 
Thanks in advance for your response.
EP Delta

Re: [ jEdit-users ] The mode parser doesn't like my <PROPS>...</PROPS> code.

[Dale A. <da...@da...>]

On the last <PROPERTY...> line you have an extra double quote at the
end of the line.

On Wed, Mar 1, 2023 at 12:49 AM J Leslie Turriff <jlt...@ma...> wrote:
>
> Hello,
>         I'm getting the message,
> | "15:The content of element type "PROPS" must match "(PROPERTY)+".
> when I run the XML parser plugin against my mode file.  The <PROPS> section of my file is
> as follows:
> |  <PROPS>
> |    <PROPERTY NAME="commentStart"     VALUE="/*" />
> |    <PROPERTY NAME="commentEnd"       VALUE="*/" />
> |    <PROPERTY NAME="lineComment"      VALUE="--" />
> |    <PROPERTY NAME="noWordSep"        VALUE="_?!" />
> |    <PROPERTY NAME="wordBreakChars"   VALUE=",+-=&lt;&gt;/~&amp;|*" />
> |
> |    <PROPERTY NAME="indentNextLine"
> |      VALUE="\s*(if|loop|do|else|select|otherwise|catch|
> finally|::class|::method|::routine)\s?" />
> |    <PROPERTY NAME="unindentThisLine" VALUE="\s*(end|return|then|else|otherwise)\s?)" />"
> |  </PROPS>
>
>         It looks like something in one of the <PROPERTY ... /> statements is faulty, but I can't
> see what's wrong.  Help!?
>
> Leslie
> --
> Platform:               GNU/Linux
> Hardware:               x86_64
> Distribution:           openSUSE Leap 15.4
> Java:
>         version "19.0.1" 2022-10-18:
>         Server VM:      build 19.0.1+10-21
> jEdit 5.6.0
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users

[ jEdit-users ] The mode parser doesn't like my <PROPS>...</PROPS> code.

[J L. T. <jlt...@ma...>]

Hello,
	I'm getting the message,
| "15:The content of element type "PROPS" must match "(PROPERTY)+".
when I run the XML parser plugin against my mode file.  The <PROPS> section of my file is
as follows:
|  <PROPS>
|    <PROPERTY NAME="commentStart"     VALUE="/*" />
|    <PROPERTY NAME="commentEnd"       VALUE="*/" />
|    <PROPERTY NAME="lineComment"      VALUE="--" />
|    <PROPERTY NAME="noWordSep"        VALUE="_?!" />
|    <PROPERTY NAME="wordBreakChars"   VALUE=",+-=&lt;&gt;/~&amp;|*" />
|
|    <PROPERTY NAME="indentNextLine"
|      VALUE="\s*(if|loop|do|else|select|otherwise|catch|
finally|::class|::method|::routine)\s?" />
|    <PROPERTY NAME="unindentThisLine" VALUE="\s*(end|return|then|else|otherwise)\s?)" />"
|  </PROPS>

	It looks like something in one of the <PROPERTY ... /> statements is faulty, but I can't
see what's wrong.  Help!?

Leslie
--
Platform:		GNU/Linux
Hardware:		x86_64
Distribution:		openSUSE Leap 15.4
Java:
	version "19.0.1" 2022-10-18:
	Server VM:	build 19.0.1+10-21
jEdit 5.6.0

Re: [ jEdit-users ] Mode Definitions: Escaping literal delimiters without using "\"

[Dale A. <da...@da...>]

The fortran mode file defines literals like this:

<SPAN TYPE="LITERAL1" NO_LINE_BREAK="FALSE">
<BEGIN>"</BEGIN>
<END>"</END>
</SPAN>
<SPAN TYPE="LITERAL1" NO_LINE_BREAK="FALSE">
<BEGIN>'</BEGIN>
<END>'</END>
</SPAN>

Is that what you're looking for?

Dale

On Thu, Feb 23, 2023 at 5:24 PM J Leslie Turriff <jlt...@ma...> wrote:
>
> Hello,
>         How would I code the rule for a literal that uses, instead of a backslash, a doubled
> string delimiter to escape it when embedded in a string?  E.g.
> | 'This string doesn''t end before this last quote.'
>
>         This notation is used by several languages, e.g. FORTRAN, COBOL, PL/I, Rexx.
>
> Leslie
> --
> Platform: Linux
> Distribution: openSUSE Leap 15.4 (x86_64)
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users

[ jEdit-users ] Mode Definitions: Escaping literal delimiters without using "\"

[J L. T. <jlt...@ma...>]

Hello,
	How would I code the rule for a literal that uses, instead of a backslash, a doubled
string delimiter to escape it when embedded in a string?  E.g.
| 'This string doesn''t end before this last quote.'

	This notation is used by several languages, e.g. FORTRAN, COBOL, PL/I, Rexx.

Leslie
--
Platform: Linux
Distribution: openSUSE Leap 15.4 (x86_64)

Re: [ jEdit-users ] custom jvm for macos

[<pa...@ja...>]

Hi Dale, thanks your your reply. Yes, i do:

```
JAVA_HOME=/Users/polmos/.sdkman/candidates/java/current
```

however, i suspect that the macos app bundle ignores JAVA_HOME and uses the system java.

On Saturday, 17 December, 2022 21:21 CET, Dale Anson <da...@da...> wrote:
 Do you have JAVA_HOME set in your bash profile and pointing to your custom jvm?

On Fri, Dec 16, 2022 at 10:25 AM pa...@ja...
<pa...@ja...> wrote:
>
> I want to specify a custom jvm (provided by sdkman) to run jEdit on MacOS Monterey
>
> In my .bash_profile file I have the custom jvm in my PATH, but when I launch the app, I get a message from the app saying that java 11 or higher is required.
>
> How do I tell the jEdit app to use a custom jvm in macos?
>
> Thanks,
>
> Pablo
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users


 

Re: [ jEdit-users ] custom jvm for macos

[Dale A. <da...@da...>]

Do you have JAVA_HOME set in your bash profile and pointing to your custom jvm?

On Fri, Dec 16, 2022 at 10:25 AM pa...@ja...
<pa...@ja...> wrote:
>
> I want to specify a custom jvm (provided by sdkman) to run jEdit on MacOS Monterey
>
> In my .bash_profile file I have the custom jvm in my PATH, but when I launch the app, I get a message from the app saying that java 11 or higher is required.
>
> How do I tell the jEdit app to use a custom jvm in macos?
>
> Thanks,
>
> Pablo
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users

[ jEdit-users ] custom jvm for macos

[<pa...@ja...>]

I want to specify a custom jvm (provided by sdkman) to run jEdit on MacOS Monterey

In my .bash_profile file I have the custom jvm in my PATH, but when I launch the app, I get a message from the app saying that java 11 or higher is required.

How do I tell the jEdit app to use a custom jvm in macos?

Thanks,

Pablo 

[ jEdit-users ] Cannot configure jedit for git in Windows

[R C. <ron...@ya...>]

I have tried, and looked, and read, with no luck.
Anybody successfully doing a git rebase -i in Windows using jEdit? How do you have your git configure core.editor set? It's just giving me errors about being unable to find work files in the .git subdirectories.Yes, I know part of the answer may be specifying -noserver as one argument, but I cannot get the syntax correct on Windows to specify that and have things work.
Thanks.Frugal Guy

Re: [ jEdit-users ] Can no longer open files in jedit from the command line in MacOS

[Guy V. <guy...@gm...>]

Hi Phil,
Just my 5 cents... I have no problem opening jEdit 5.6.0 on my iMac 27"
(2019) with macOS 12.5. (no change since the latest update)
In About jEdit it specifies server-background mode, using Oracle Corp Java
11.0.8
*--*
*Guy Voets*

guy...@gm...
http://www.toucheguy.dk


Op ma 15 aug. 2022 om 14:10 schreef Evans, Phil (Dr.) <pa...@le...
>:

> Hi everyone
>
> I’m using jEdit (5.6.0) on my Mac, as I have been doing for some time, but
> for some reason in the last few weeks:
>
> open -a /Applications/jEdit.app myFile.txt
>
> does not open myFile.txt, just a blank jEdit window. This may be since
> upgrading to MacOS 12.5 (from 12.4) although I’m not 100% sure.
>
> Is anyone else seeing this?
>
> For extra context, I have to hack to use jEdit at all (someone on this
> mailing list helped me with this a few years ago) because just starting up
> jEdit tries to use some ancient java version and it fails. So instead I
> have had to use a script to find the correct java and invoke things, and
> then I have to compile that with shc so that MacOS will set the security
> settings so I can actually open files (seriously….). I don’t know whether
> this is the problem.
>
> If anyone knows a solution to this, or a better (i.e. simpler) way to make
> jEdit “just work” on MacOS, please let me know!
>
>
> Thanks
>
> Phil
> -------------------------
>
> Phil Evans,
> Swift Development Scientist & Athena W-ISC Technical Lead
> X-ray and Observational Astronomy Group,
> University of Leicester
>
> Tel: +44 (0)116 252 5059
> Mobile: +44 (0)7780 980240 (work)
> Mobile: +44 (0)7974 977723 (personal)
>
> Office: G49 Physics Building
>
> pa...@le...
>
> http://www.star.le.ac.uk/~pae9
> http://www.swift.ac.uk
>
> Follow me as a Swift scientist on Twitter: @swift_phil
> http://www.star.le.ac.uk/~pae9/twitter
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>

[ jEdit-users ] Can no longer open files in jedit from the command line in MacOS

[Evans, P. (Dr.) <pa...@le...>]

Hi everyone

I’m using jEdit (5.6.0) on my Mac, as I have been doing for some time, but for some reason in the last few weeks:

open -a /Applications/jEdit.app myFile.txt 

does not open myFile.txt, just a blank jEdit window. This may be since upgrading to MacOS 12.5 (from 12.4) although I’m not 100% sure.

Is anyone else seeing this?

For extra context, I have to hack to use jEdit at all (someone on this mailing list helped me with this a few years ago) because just starting up jEdit tries to use some ancient java version and it fails. So instead I have had to use a script to find the correct java and invoke things, and then I have to compile that with shc so that MacOS will set the security settings so I can actually open files (seriously….). I don’t know whether this is the problem.

If anyone knows a solution to this, or a better (i.e. simpler) way to make jEdit “just work” on MacOS, please let me know!


Thanks

Phil
-------------------------

Phil Evans,
Swift Development Scientist & Athena W-ISC Technical Lead
X-ray and Observational Astronomy Group,
University of Leicester

Tel: +44 (0)116 252 5059
Mobile: +44 (0)7780 980240 (work)
Mobile: +44 (0)7974 977723 (personal)

Office: G49 Physics Building

pa...@le...

http://www.star.le.ac.uk/~pae9
http://www.swift.ac.uk

Follow me as a Swift scientist on Twitter: @swift_phil
http://www.star.le.ac.uk/~pae9/twitter

Re: [ jEdit-users ] Any way to close files that no longer exist?

[Marcelo V. <mmv...@gm...>]

GitPlugin does what you want, but you have to switch branches using
the plugins instead of the command line.

On Thu, Jul 28, 2022 at 5:52 PM Andy Tai <at...@at...> wrote:
>
> Hi, I often open files in a directory which is a git repo.  When I
> switch git branches, some files may no longer exist as files in the
> file system; jedit would show such files as out of date (marked red).
>  Is there a jedit command or plugin that allows me to close such
> files?
>
> Thanks
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users



-- 
Marcelo Vanzin
mmv...@gm...
"Life's too short to drink cheap beer."

[ jEdit-users ] Any way to close files that no longer exist?

[Andy T. <at...@at...>]

Hi, I often open files in a directory which is a git repo.  When I
switch git branches, some files may no longer exist as files in the
file system; jedit would show such files as out of date (marked red).
 Is there a jedit command or plugin that allows me to close such
files?

Thanks

Re: [ jEdit-users ] Java 17 does not run jEdit

[Dale A. <da...@da...>]

The solution mentioned here:

https://sourceforge.net/p/jedit/bugs/4084/

has worked for several other people. It's a bug in the windows
launcher. Another solution is to start jEdit from a command line with
"java -jar /path/to/jedit.jar".

On Sat, Jun 18, 2022 at 12:29 PM Erich Schulman (KT4VOL/WRDE404)
<chi...@gm...> wrote:
>
> On Sat, Jun 18, 2022 at 12:14 PM Dale Anson <da...@da...> wrote:
>>
>> How are you starting jEdit? Java 17 should work fine, I've been
>> running jEdit with Java 18 for several months now with no problems.
>>
>
> I use the icon that the installer provided.
>
> I get the same error on system startup as well. I enabled the option to let jEdit instances communicate with each other.
>
> --
> 「女のこが天使じゃない
> 魔物が半分FIFTY」
> ジャングルはいつもハレのちグゥ

Re: [ jEdit-users ] Java 17 does not run jEdit

[Erich S. (KT4VOL/WRDE404) <chi...@gm...>]

On Sat, Jun 18, 2022 at 12:14 PM Dale Anson <da...@da...> wrote:

> How are you starting jEdit? Java 17 should work fine, I've been
> running jEdit with Java 18 for several months now with no problems.
>
>
I use the icon that the installer provided.

I get the same error on system startup as well. I enabled the option to let
jEdit instances communicate with each other.

-- 
「女のこが天使じゃない
魔物が半分FIFTY」
ジャングルはいつもハレのちグゥ

Re: [ jEdit-users ] Java 17 does not run jEdit

[Dale A. <da...@da...>]

How are you starting jEdit? Java 17 should work fine, I've been
running jEdit with Java 18 for several months now with no problems.

On Sat, Jun 18, 2022 at 8:50 AM Erich Schulman (KT4VOL/WRDE404)
<chi...@gm...> wrote:
>
> I installed jEdit 5.6 on a x64 Win8.1 system. I get an error that a JRE of 11 is required. I have Microsoft's build of OpenJDK 17.0.3 which should more than fulfill the requirement. Is it possible to get jEdit to run?
> '
>
> --
> 「女のこが天使じゃない
> 魔物が半分FIFTY」
> ジャングルはいつもハレのちグゥ
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users

[ jEdit-users ] Java 17 does not run jEdit

[Erich S. (KT4VOL/WRDE404) <chi...@gm...>]

I installed jEdit 5.6 on a x64 Win8.1 system. I get an error that a JRE of
11 is required. I have Microsoft's build of OpenJDK 17.0.3 which should
more than fulfill the requirement. Is it possible to get jEdit to run?
'

-- 
「女のこが天使じゃない
魔物が半分FIFTY」
ジャングルはいつもハレのちグゥ

[ jEdit-users ] Compiling C code from jEdit

[Duke N. <sid...@gm...>]

I'm having a bitch of a time from this favourite editor of mine.
One beanshell issue after another.

Does anyone have a C-mode.xml file that actually works and are
willing to share?

I'm NOT a pro! Just a retired, hobbyist amateur trying to keep busy
learning a new programming language. TIA!
-- 
Duke
** Text only please. Bottom post works best for me **

[ jEdit-users ] headlines plugin rss opml support

[e-letter <in...@gm...>]

Readers,

How feasible is it to provide opml import/export for atom/rss feeds please?

[ jEdit-users ] log4j?

[Dale A. <da...@da...>]

I'm wondering if anyone is actually using the log4j that is included with
the jakarta-commons plugin? I was thinking of updating the log4j jar file
to the latest version due to the recently discovered security
vulnerabilities, but the version in the plugin is very old and in fact
reached end of life 7 years ago.

[ jEdit-users ] jEdit performance under Crostini

[Jesse P. <jp...@al...>]

Just in case someone runs jEdit under Crostini (ChromeOS Linux container)
and finds graphical performance to be poor:

By changing the Text Area antialiasing mode from "standard" to any of the
subpixel values, performance is increased *significantly. *Why this is, I
don't know, but it's worked for me across all my Chromebooks.

Best,
Jesse

Re: [ jEdit-users ] Can't print from jEdit

[Duke N. <sid...@gm...>]

On Sun, 28 Nov 2021 19:52:03 -0700
Dale Anson <da...@da...> wrote:

> Can you provide any details? JVM version/provider, jEdit version,
> are you using CUPS? Anything in the activity log? Anything in
> your cups logs or dmesg? Another Linux user has also reported
> problems printing, but was unable to provide useful info. I'm
> running arch with cups, and can't reproduce the problem, although
> I don't have a lot of printers to test with
> - I have a Canon color ink jet connected via USB, an Epson color
> ink jet on my network, and an HP b/w laser printer on my network,
> and all print fine, so I've not been able to track down the
> problem.

java -version                                                 <1>
openjdk version "11.0.12" 2021-07-20
OpenJDK Runtime Environment (build 11.0.12+7-post-Debian-2)
OpenJDK 64-Bit Server VM (build 11.0.12+7-post-Debian-2, mixed
mode, sharing)

jedit 5.6.0 server mode, using Debian java 11.0.12

Nothing in the "Activity.log" that I ca n see

Nothing in cups logs

-- 
Duke
** Text only please. Bottom post is best. **