[ jEdit-users ] INI mode missing comment marker

[Jeremy Wadsack <jwadsack@wa...>]

Most INI file readers support both ';' and '#' as a comment line marker. 
The ini mode in jEdit 3.1 is still missing the '#'. This line fixes it 
(I added it after line 16 in my modes/ini.xml

-- 

Jeremy Wadsack
Wadsack-Allen Digital Group

RE: [ jEdit-users ] Feature Request: Document Bookmarks

[John Gellene <jgellene@ny...>]

> > 3) There isn't a key shortcut or menu item to clear all markers.
> 
> This would be nice.
> 

// Delete_All_Markers.bsh
buffer.getMarkers().removeAllElements();
textArea.getGutter().repaint();
// end of Delete_All_Markers.bsh

John

Re: [ jEdit-users ] Feature Request: Document Bookmarks

[Daniel Beckham <danbeck-jedit-users@de...>]

----- Original Message -----
From: "Jeremy Wadsack" <jwadsack@...>
To: <jedit-users@...>
Sent: Wednesday, May 02, 2001 12:51 PM
Subject: Re: [ jEdit-users ] Feature Request: Document Bookmarks


>
> Marker lables default to the selected text, which is usually more
> helpful than "Marker 1"

True, but I have to say, I've never set a bookmark in any application while
I had text selected...  I usually just want to remember my current location
while I go jump to another part of my code.  I think the markers haveing
labels are only useful if you want to set a mark that's semi-permanent.  If
there was an ability to add or remove markers for the current line the
cursor is on without bothering you for a name, I think it would work best
for many situations, while having permanent named bookmarks would be good
for others.

> You also can't remove a marker with a keystroke. It would be nice to
> have a 'remove current line's marker' menu item or something. I think
> there's a macro floating around that does this.

Yes, that was another suggestion I thought of, but forgot to write down.  In
TextPad, I usually bound a key, Ctrl-F2, to add or remove a bookmark for the
current line and then F2 to cycle through bookmarks.

I see the macro now.. it's call "Delete Marker at Caret".   Now we need
mouse commands. =)

Daniel

Re: [ jEdit-users ] Feature Request: Document Bookmarks

[Jeremy Wadsack <jwadsack@wa...>]

Daniel Beckham wrote:

> 2) If you don't give a marker a name, it should create an autoincremented
> generic marker name such as "Marker 1", "Marker 2", et. al.  And it would be
> very nice if there was a global option to turn off the input box that asks
> for a marker name.. and instead just assign generic names for you...  this
> would help make use of the mouse to set markers much easier.

Marker lables default to the selected text, which is usually more 
helpful than "Marker 1"


> 3) There isn't a key shortcut or menu item to clear all markers.

This would be nice.

 
> 5) You can not set or remove marks with the mouse. My suggestion would be
> that if you click on the line number in the gutter a bookmark is created
> there.. click it again and it's automatically removed.  Right clicking would
> open popup menu to clear, rename, etc.

You also can't remove a marker with a keystroke. It would be nice to 
have a 'remove current line's marker' menu item or something. I think 
there's a macro floating around that does this.



-- 

Jeremy Wadsack
Wadsack-Allen Digital Group

RE: [ jEdit-users ] Re: installing

[John Gellene <jgellene@ny...>]

> Not to be picky...but would there be a way to disable this automatic
> native installation stuff?  Having tried both, I like the simplicity of
> jEditOpener over the jEditLauncher.  I don't need COM scriptability,
> etc., and I have been doing my own file association stuff for a long
> time...so it would be cool to be able to run the normal java install as
> I usually do, sans any native registration that I might already have done
> myself.
>
> Aaron

You're not being picky - you can continue using the Java installer.  As I've
said before, it works very well, and I have no desire to replace it.  Anyone
who wants more features can use jEditLauncher.  I like being able to
right-click any file or group of files into jEdit without doing anything to
existing file associations, and you can send a whole directory of *.java
files, for example, into the editor with one click.  I also like being able
to dump the output of a script file directly into my favorite text editor.

In the earlier posts on this topic, we've been talking about a second option
for installation that takes advantages of system-specific services (like rpm
under Red Hat Linux).  That's the kind of simplicity that most Windows users
can appreciate.  My own belief is that jEdit will be more popular with
Windows users (especially those who don't like to hack) if installation and
configuration can take place in a manner consistent with the Windows
"look-and-feel".

John

Re: [ jEdit-users ] Feature Request: Document Bookmarks

[Daniel Beckham <danbeck-jedit-users@de...>]

Hmm... yes that's what I'm looking for.  Not sure how I missed that. =)
After using it a for a few minutes, I do have some suggestions / feature
requests.

1) Marks require a label.  You can't set a mark without having to give it a
label.  Although, you can just not enter any text for the label, it makes it
difficult to clear them later.  This would be a moot point if you could
clear the marker somehow by using the mouse.

2) If you don't give a marker a name, it should create an autoincremented
generic marker name such as "Marker 1", "Marker 2", et. al.  And it would be
very nice if there was a global option to turn off the input box that asks
for a marker name.. and instead just assign generic names for you...  this
would help make use of the mouse to set markers much easier.

2) Labels are only visbible if you hold the mouse over the bookmark.  This
is fine with me, but the the text says "Marker "foo" points to this line."
instead of just the marker name.  After the first time you read this text,
it's no longer necessary and you are forced to "find" your marker name in
the string of text.  It seems inefficient.

3) There isn't a key shortcut or menu item to clear all markers.

4) You can't clear a specific marker without knowing it's name.

5) You can not set or remove marks with the mouse. My suggestion would be
that if you click on the line number in the gutter a bookmark is created
there.. click it again and it's automatically removed.  Right clicking would
open popup menu to clear, rename, etc.

Thanks!

Daniel Beckham

----- Original Message -----
From: "John Gellene" <jgellene@...>
To: <jedit-users@...>
Sent: Wednesday, May 02, 2001 10:39 AM
Subject: RE: [ jEdit-users ] Feature Request: Document Bookmarks


> As a start, you should look at the Markers feature (which you can access
> from the keyboard and address with macros).  Perhaps what you're looking
for
> is a mouse interface to that feature. Or is it something else?
>
> John
>
> > -----Original Message-----
> > From: jedit-users-admin@...
> > [mailto:jedit-users-admin@...]On Behalf Of Daniel
> > Beckham
> > Sent: Wednesday, May 02, 2001 11:15 AM
> > To: jedit-users@...
> > Subject: [ jEdit-users ] Feature Request: Document Bookmarks
> >
> >
> > One thing that is really missing from jEdit are document bookmarks.  Two
> > applications that I used to use on windows (TextPad and HomeSite)
> > allowed me
> > to either click the line number in the gutter, or hit a keystroke
> > to place a
> > book mark at that point.  Later on, I could jump back to the same point
in
> > the code by hitting a different keystroke.
> >
> > Anyway, this feature would be very appreciated!
> >
> > Daniel
> >
> >
> > --
> > -----------------------------------------------
> > jEdit Users' List
> > jEdit-users@...
> > http://lists.sourceforge.net/lists/listinfo/jedit-users
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEdit-users@...
> http://lists.sourceforge.net/lists/listinfo/jedit-users
>

[ jEdit-users ] Re: installing

[<arh14@co...>]

Not to be picky...but would there be a way to disable this automatic 
native installation stuff?  Having tried both, I like the simplicity of 
jEditOpener over the jEditLauncher.  I don't need COM scriptability, 
etc., and I have been doing my own file association stuff for a long 
time...so it would be cool to be able to run the normal java install as 
I usually do, sans any native registration that I might already have done 
myself.

Aaron

> Date: Wed, 2 May 2001 16:43:33 +1000
> From: Slava Pestov <slava@...>
> Subject: Re: [ jEdit-users ] (no subject)
> 
> On Tue, May 01, 2001 at 11:01:08AM -0400, John Gellene wrote:
> > Hopefully this will be the final beta before development of an integrated
> > package for installing and launching jEdit on Windows.
> 
> "For installing"? I thought we decided that the Java-based installer
> should install the COM control, merge a .reg file, and also install
> an Windows uninstall tool.
> 
> Slava

RE: [ jEdit-users ] Feature Request: Document Bookmarks

[John Gellene <jgellene@ny...>]

As a start, you should look at the Markers feature (which you can access
from the keyboard and address with macros).  Perhaps what you're looking for
is a mouse interface to that feature. Or is it something else?

John

> -----Original Message-----
> From: jedit-users-admin@...
> [mailto:jedit-users-admin@...]On Behalf Of Daniel
> Beckham
> Sent: Wednesday, May 02, 2001 11:15 AM
> To: jedit-users@...
> Subject: [ jEdit-users ] Feature Request: Document Bookmarks
>
>
> One thing that is really missing from jEdit are document bookmarks.  Two
> applications that I used to use on windows (TextPad and HomeSite)
> allowed me
> to either click the line number in the gutter, or hit a keystroke
> to place a
> book mark at that point.  Later on, I could jump back to the same point in
> the code by hitting a different keystroke.
>
> Anyway, this feature would be very appreciated!
>
> Daniel
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEdit-users@...
> http://lists.sourceforge.net/lists/listinfo/jedit-users

[ jEdit-users ] Feature Request: Document Bookmarks

[Daniel Beckham <danbeck-jedit-users@de...>]

One thing that is really missing from jEdit are document bookmarks.  Two
applications that I used to use on windows (TextPad and HomeSite) allowed me
to either click the line number in the gutter, or hit a keystroke to place a
book mark at that point.  Later on, I could jump back to the same point in
the code by hitting a different keystroke.

Anyway, this feature would be very appreciated!

Daniel

RE: [ jEdit-users ] window size problems

[Fabrizio, Dante J. <Dante.Fabrizio@InterDigital.com>]

thanks,

I was looking for jmake not jmk which was
the problem.

Dan

	-----Original Message-----
	From:	Steve.Jakob@... [SMTP:Steve.Jakob@...]
	Sent:	Wednesday, May 02, 2001 10:25 AM
	To:	jedit-users@...
	Subject:	RE: [ jEdit-users ] window size problems



	http://www.sourceforge.net/projects/jmk

	Steve Jakob








	"Fabrizio, Dante J." <Dante.Fabrizio@...> on 05/02/2001
10:16:50 AM

	Please respond to jedit-users@...
	

	

	



	                                                              
	                                                              
	                                                              
	 To:      "'jedit-users@...'"               
	          <jedit-users@...>                 
	                                                              
	 cc:      (bcc: Steve Jakob/Lrcc)                             
	                                                              
	                                                              
	                                                              
	 Subject: RE: [ jEdit-users ] window size problems            
	                                                              







	Hi,

	Can someone point me to a web site
	to download jmake?

	Thanks,
	Dan

	     -----Original Message-----
	     From:     Slava Pestov [SMTP:slava@...]
	     Sent:     Wednesday, May 02, 2001 2:52 AM
	     To:  jedit-users@...
	     Subject:  Re: [ jEdit-users ] window size problems

	     I think the Unix window sizing workaround is failing with
	     this JDK (perhaps they fixed the bug the workaround is
	     trying to work around)?

	     Can you try compiling the jEdit source, using the attached
	     source file instead of the stock GUIUtilities.java in jEdit
	     3.1final?

	     Delete your user properties file first, to get rid of the
	     invalid window sizes saved by the bug.

	     Slava

	     On Tue, May 01, 2001 at 03:36:46PM -0400, Fabrizio, Dante J.
wrote:
	     > Hi All,
	     >
	     > I just installed jEdit3.1 final on Solaris2.6 with
	     > sun jdk1.3 and all the window sizes are wrong.
	     >
	     > They usually come up very small and I have to
	     > resize them to see the contents. Once the main
	     > window was at 2 times larger than the screen.
	     >
	     > Has anyone else seen this?
	     >
	     > Regards,
	     > Dan
	     >
	     > --
	     > -----------------------------------------------
	     > jEdit Users' List
	     > jEdit-users@...
	     > http://lists.sourceforge.net/lists/listinfo/jedit-users <<
File:
	GUIUtilities.java >>

	--
	-----------------------------------------------
	jEdit Users' List
	jEdit-users@...
	http://lists.sourceforge.net/lists/listinfo/jedit-users




	-- 
	-----------------------------------------------
	jEdit Users' List
	jEdit-users@...
	http://lists.sourceforge.net/lists/listinfo/jedit-users

RE: [ jEdit-users ] window size problems

[Fabrizio, Dante J. <Dante.Fabrizio@InterDigital.com>]

Hi Slava,

I found jmk at sourceforge and compiled the
source with the attached GUIUtilities.java and
deleted the properties file but the window
size problem still occurs.

Once, the menu bar was painted over blue and
you couldn't see the menu text but you could see
the underlines for the shortcuts and the menus 
worked if you moved the mouse below the blue
area.  I'm not sure if this is related.

I'm using Solaris at work and ist is not for trying
other JVMs.  I wanted to try IBMs .


Regards,
Dan 

	-----Original Message-----
	From:	Slava Pestov [SMTP:slava@...]
	Sent:	Wednesday, May 02, 2001 2:52 AM
	To:	jedit-users@...
	Subject:	Re: [ jEdit-users ] window size problems

	I think the Unix window sizing workaround is failing with
	this JDK (perhaps they fixed the bug the workaround is
	trying to work around)?

	Can you try compiling the jEdit source, using the attached
	source file instead of the stock GUIUtilities.java in jEdit
	3.1final?

	Delete your user properties file first, to get rid of the
	invalid window sizes saved by the bug.

	Slava

	On Tue, May 01, 2001 at 03:36:46PM -0400, Fabrizio, Dante J. wrote:
	> Hi All,
	> 
	> I just installed jEdit3.1 final on Solaris2.6 with
	> sun jdk1.3 and all the window sizes are wrong.
	> 
	> They usually come up very small and I have to
	> resize them to see the contents. Once the main
	> window was at 2 times larger than the screen.
	> 
	> Has anyone else seen this?
	> 
	> Regards,
	> Dan
	> 
	> -- 
	> -----------------------------------------------
	> jEdit Users' List
	> jEdit-users@...
	> http://lists.sourceforge.net/lists/listinfo/jedit-users << File:
GUIUtilities.java >> 

RE: [ jEdit-users ] window size problems

[Stefan Radig <sr@te...>]

02.05.01 16:16:50, "Fabrizio, Dante J." <Dante.Fabrizio@...> wrote:

>Hi,
>
>Can someone point me to a web site
>to download jmake?
>
>Thanks,
>Dan

Try http://jmk.sourceforge.net/

Stefan

RE: [ jEdit-users ] window size problems

[<Steve.Jakob@lr...>]

http://www.sourceforge.net/projects/jmk

Steve Jakob








"Fabrizio, Dante J." <Dante.Fabrizio@...> on 05/02/2001 10:16:50 AM

Please respond to jedit-users@...
                                                                                
                                                                                
                                                                                


                                                              
                                                              
                                                              
 To:      "'jedit-users@...'"               
          <jedit-users@...>                 
                                                              
 cc:      (bcc: Steve Jakob/Lrcc)                             
                                                              
                                                              
                                                              
 Subject: RE: [ jEdit-users ] window size problems            
                                                              







Hi,

Can someone point me to a web site
to download jmake?

Thanks,
Dan

     -----Original Message-----
     From:     Slava Pestov [SMTP:slava@...]
     Sent:     Wednesday, May 02, 2001 2:52 AM
     To:  jedit-users@...
     Subject:  Re: [ jEdit-users ] window size problems

     I think the Unix window sizing workaround is failing with
     this JDK (perhaps they fixed the bug the workaround is
     trying to work around)?

     Can you try compiling the jEdit source, using the attached
     source file instead of the stock GUIUtilities.java in jEdit
     3.1final?

     Delete your user properties file first, to get rid of the
     invalid window sizes saved by the bug.

     Slava

     On Tue, May 01, 2001 at 03:36:46PM -0400, Fabrizio, Dante J. wrote:
     > Hi All,
     >
     > I just installed jEdit3.1 final on Solaris2.6 with
     > sun jdk1.3 and all the window sizes are wrong.
     >
     > They usually come up very small and I have to
     > resize them to see the contents. Once the main
     > window was at 2 times larger than the screen.
     >
     > Has anyone else seen this?
     >
     > Regards,
     > Dan
     >
     > --
     > -----------------------------------------------
     > jEdit Users' List
     > jEdit-users@...
     > http://lists.sourceforge.net/lists/listinfo/jedit-users << File:
GUIUtilities.java >>

--
-----------------------------------------------
jEdit Users' List
jEdit-users@...
http://lists.sourceforge.net/lists/listinfo/jedit-users

RE: [ jEdit-users ] window size problems

[Fabrizio, Dante J. <Dante.Fabrizio@InterDigital.com>]

Hi,

Can someone point me to a web site
to download jmake?

Thanks,
Dan

	-----Original Message-----
	From:	Slava Pestov [SMTP:slava@...]
	Sent:	Wednesday, May 02, 2001 2:52 AM
	To:	jedit-users@...
	Subject:	Re: [ jEdit-users ] window size problems

	I think the Unix window sizing workaround is failing with
	this JDK (perhaps they fixed the bug the workaround is
	trying to work around)?

	Can you try compiling the jEdit source, using the attached
	source file instead of the stock GUIUtilities.java in jEdit
	3.1final?

	Delete your user properties file first, to get rid of the
	invalid window sizes saved by the bug.

	Slava

	On Tue, May 01, 2001 at 03:36:46PM -0400, Fabrizio, Dante J. wrote:
	> Hi All,
	> 
	> I just installed jEdit3.1 final on Solaris2.6 with
	> sun jdk1.3 and all the window sizes are wrong.
	> 
	> They usually come up very small and I have to
	> resize them to see the contents. Once the main
	> window was at 2 times larger than the screen.
	> 
	> Has anyone else seen this?
	> 
	> Regards,
	> Dan
	> 
	> -- 
	> -----------------------------------------------
	> jEdit Users' List
	> jEdit-users@...
	> http://lists.sourceforge.net/lists/listinfo/jedit-users << File:
GUIUtilities.java >> 

Re: [ jEdit-users ] window size problems

[mick crane <crane@uk...>]

hi,
I reconfigured X and jEdit window was wrong size, too big,
so perhaps I'll do this too.
Not that I plan to reconfigure X very often.

regards

michael crane

> Can you try compiling the jEdit source, using the attached
> source file instead of the stock GUIUtilities.java in jEdit
> 3.1final?
> 
> Delete your user properties file first, to get rid of the
> invalid window sizes saved by the bug.
> 

Re: [ jEdit-users ] window size problems

[Slava Pestov <slava@je...>]

I think the Unix window sizing workaround is failing with
this JDK (perhaps they fixed the bug the workaround is
trying to work around)?

Can you try compiling the jEdit source, using the attached
source file instead of the stock GUIUtilities.java in jEdit
3.1final?

Delete your user properties file first, to get rid of the
invalid window sizes saved by the bug.

Slava

On Tue, May 01, 2001 at 03:36:46PM -0400, Fabrizio, Dante J. wrote:
> Hi All,
> 
> I just installed jEdit3.1 final on Solaris2.6 with
> sun jdk1.3 and all the window sizes are wrong.
> 
> They usually come up very small and I have to
> resize them to see the contents. Once the main
> window was at 2 times larger than the screen.
> 
> Has anyone else seen this?
> 
> Regards,
> Dan
> 
> -- 
> -----------------------------------------------
> jEdit Users' List
> jEdit-users@...
> http://lists.sourceforge.net/lists/listinfo/jedit-users

Re: [ jEdit-users ] (no subject)

[Slava Pestov <slava@je...>]

On Tue, May 01, 2001 at 11:01:08AM -0400, John Gellene wrote:
> Hopefully this will be the final beta before development of an integrated
> package for installing and launching jEdit on Windows.

"For installing"? I thought we decided that the Java-based installer
should install the COM control, merge a .reg file, and also install
an Windows uninstall tool.

Slava