Skip to main content



      Home
Home » Eclipse Projects » Eclipse Platform » Source Editor
Source Editor [message #306846] Mon, 07 August 2006 14:14 Go to next message
Eclipse UserFriend
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 Go to previous messageGo to next message
Eclipse UserFriend
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 Go to previous messageGo to next message
Eclipse UserFriend
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 Go to previous messageGo to next message
Eclipse UserFriend
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 Go to previous message
Eclipse UserFriend
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:
  


Current Time: Fri Jul 25 18:48:49 EDT 2025

Powered by FUDForum. Page generated in 1.04946 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top