Eclipse Community Forums: Eclipse Platform

Home » Eclipse Projects » Eclipse Platform » Source Editor

Mon, 07 August 2006 14:14

Eclipse User

I have a very simple question about the Source Editor. On certain
platforms/JRE combinations (primarily Linux OS) - the source editor
behaves very differently. A simple case would be when you open the
preferences of the SourceEditor and check the show line numbers
checkbox. This should show the line numbers in the source editor.
This is shown on certain platform/os combination and not on all of them
and also you can see the line numbers in certain perspective and not on
others. Is there a way to force the editor to show the line number
information?

Re: Source Editor [message #306858 is a reply to message #306846]

Tue, 08 August 2006 02:34

Eclipse User

Originally posted by: tom_eicher.ch.ibm.com

What editor do you refer to by "Source Editor"? The Java editor? It
should always respect the line number ruler preference.

If you are talking about your own editor implementation, it depends on
how you set it up. Generally, an editor subclassing
AbstractDecoratedTextEditor with a preferences store that contains
EditorsUI.getPreferenceStore should also respect the preference.

-tom

Guru Nagarajan wrote:
> I have a very simple question about the Source Editor. On certain
> platforms/JRE combinations (primarily Linux OS) - the source editor
> behaves very differently. A simple case would be when you open the
> preferences of the SourceEditor and check the show line numbers
> checkbox. This should show the line numbers in the source editor.
> This is shown on certain platform/os combination and not on all of them
> and also you can see the line numbers in certain perspective and not on
> others. Is there a way to force the editor to show the line number
> information?
>

Re: Source Editor [message #306877 is a reply to message #306858]

Tue, 08 August 2006 11:13

Eclipse User

Tom Eicher wrote:
> What editor do you refer to by "Source Editor"? The Java editor? It
> should always respect the line number ruler preference.
>
> If you are talking about your own editor implementation, it depends on
> how you set it up. Generally, an editor subclassing
> AbstractDecoratedTextEditor with a preferences store that contains
> EditorsUI.getPreferenceStore should also respect the preference.
>
> -tom
>
> Guru Nagarajan wrote:
>> I have a very simple question about the Source Editor. On certain
>> platforms/JRE combinations (primarily Linux OS) - the source editor
>> behaves very differently. A simple case would be when you open the
>> preferences of the SourceEditor and check the show line numbers
>> checkbox. This should show the line numbers in the source editor.
>> This is shown on certain platform/os combination and not on all of
>> them and also you can see the line numbers in certain perspective and
>> not on others. Is there a way to force the editor to show the line
>> number information?
>>
Tom,
I am referring to the Java Editor.

Re: Source Editor [message #306879 is a reply to message #306877]

Tue, 08 August 2006 11:42

Eclipse User

Originally posted by: tom_eicher.ch.ibm.com

Guru Nagarajan wrote:
>> What editor do you refer to by "Source Editor"? The Java editor? It
>> should always respect the line number ruler preference.
>>
>> Guru Nagarajan wrote:
>>> I have a very simple question about the Source Editor. On certain
>>> platforms/JRE combinations (primarily Linux OS) - the source editor
>>> behaves very differently. A simple case would be when you open the
>>> preferences of the SourceEditor and check the show line numbers
>>> checkbox. This should show the line numbers in the source editor.
>>> This is shown on certain platform/os combination and not on all of
>>> them and also you can see the line numbers in certain perspective and
>>> not on others. Is there a way to force the editor to show the line
>>> number information?
> I am referring to the Java Editor.

The Java editor should always respect the line number ruler preference.
Please file a bug against jdt-text if you have reproducible steps to
reproduce this problem.

thanks, tom

Re: Source Editor [message #306885 is a reply to message #306879]

Tue, 08 August 2006 13:11

Eclipse User

Tom Eicher wrote:
> Guru Nagarajan wrote:
>>> What editor do you refer to by "Source Editor"? The Java editor? It
>>> should always respect the line number ruler preference.
>>>
>>> Guru Nagarajan wrote:
>>>> I have a very simple question about the Source Editor. On certain
>>>> platforms/JRE combinations (primarily Linux OS) - the source editor
>>>> behaves very differently. A simple case would be when you open the
>>>> preferences of the SourceEditor and check the show line numbers
>>>> checkbox. This should show the line numbers in the source editor.
>>>> This is shown on certain platform/os combination and not on all of
>>>> them and also you can see the line numbers in certain perspective
>>>> and not on others. Is there a way to force the editor to show the
>>>> line number information?
>> I am referring to the Java Editor.
>
> The Java editor should always respect the line number ruler preference.
> Please file a bug against jdt-text if you have reproducible steps to
> reproduce this problem.
>
> thanks, tom
Will do Thanks Tom.

Previous Topic:	Product Configuration Files?
Next Topic:	updates

Goto Forum:

-=] Back to Top [=-

Current Time: Sat Jul 26 19:42:42 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter