Different fonts and sizes for the tokens?

Hi,

Is it possible to set different fonts and sizes for the tokens in a
custom language? I mean this in the editor window: some tokens to have
e.g. a bigger font, etc.

If yes, how?

Also, how to present these options to the user?
The actual Colors and Fonts settings window has no font selection
for the individual languages and tokens(only one globally), but this is
the window re-used by all custom languages for settings.

Thank you,

Demetrios.

8 comments

Hello Demetrios,

No, this is not possible. The entire contents of the editor is drawn in the
same font.

Is it possible to set different fonts and sizes for the tokens in a
custom language? I mean this in the editor window: some tokens to have
e.g. a bigger font, etc.

If yes, how?

Also, how to present these options to the user?
The actual Colors and Fonts settings window has no font selection
for the individual languages and tokens(only one globally), but this
is
the window re-used by all custom languages for settings.
Thank you,

Demetrios.

--
Dmitry Jemerov
Development Lead
JetBrains, Inc.
http://www.jetbrains.com/
"Develop with Pleasure!"


0

No, this is not possible.

:(.
(even notepad++ is able to display such a thing :( ).

The entire contents of the editor is drawn in
the same font.

Are there any plans to allow different fonts and sizes in IntelliJ?

Many (new) plug-ins could benefit from such a functionality to be more
user friendly, thus opening IntelliJ to wide range of totally new users.

Thank you,

Demetrios.

0

Hello Demetrios,

>> No, this is not possible.
>>

:(.
(even notepad++ is able to display such a thing :( ).

>> The entire contents of the editor is drawn in the same font.
>>

Are there any plans to allow different fonts and sizes in IntelliJ?


No, there are no such plans.

Many (new) plug-ins could benefit from such a functionality to be more
user friendly, thus opening IntelliJ to wide range of totally new
users.


Unfortunately I don't believe that there are many people people for whom
the only reason why they don't use IntelliJ IDEA is its inability to display
fonts of different sizes.

--
Dmitry Jemerov
Development Lead
JetBrains, Inc.
http://www.jetbrains.com/
"Develop with Pleasure!"


0


>>> No, this is not possible.
>>>
>> :(.
>> (even notepad++ is able to display such a thing :( ).
>>> The entire contents of the editor is drawn in the same font.
>>>
>> Are there any plans to allow different fonts and sizes in IntelliJ?


No, there are no such plans.

>> Many (new) plug-ins could benefit from such a functionality to be more
>> user friendly, thus opening IntelliJ to wide range of totally new
>> users.


Unfortunately I don't believe that there are many people people for whom
the only reason why they don't use IntelliJ IDEA is its inability to
display fonts of different sizes.

I haven't said like that :). If that feature were available, many new
plug-ins would be possible
thus targeting new users, that otherwise use other solutions (solutions
that lack on the others side features that IntelliJ already has, so
would be happy to move to IntelliJ).

just my 2 cents,

Demetrios.

0

Hello Demetrios,

>>> Many (new) plug-ins could benefit from such a functionality to be
>>> more user friendly, thus opening IntelliJ to wide range of totally
>>> new users.
>>>
>> Unfortunately I don't believe that there are many people people for
>> whom the only reason why they don't use IntelliJ IDEA is its
>> inability to display fonts of different sizes.
>>

I haven't said like that :). If that feature were available, many new
plug-ins would be possible
thus targeting new users, that otherwise use other solutions
(solutions
that lack on the others side features that IntelliJ already has, so
would be happy to move to IntelliJ).


Could you give an example of such plugin?

--
Dmitry Jemerov
Development Lead
JetBrains, Inc.
http://www.jetbrains.com/
"Develop with Pleasure!"


0

>>>> Many (new) plug-ins could benefit from such a functionality to be
>>>> more user friendly, thus opening IntelliJ to wide range of totally
>>>> new users.
>>>>
>>> Unfortunately I don't believe that there are many people people for
>>> whom the only reason why they don't use IntelliJ IDEA is its
>>> inability to display fonts of different sizes.
>>>
>> I haven't said like that :). If that feature were available, many new
>> plug-ins would be possible
>> thus targeting new users, that otherwise use other solutions
>> (solutions
>> that lack on the others side features that IntelliJ already has, so
>> would be happy to move to IntelliJ).


Could you give an example of such plugin?

E.g. LaTeX (the entire academic community is using it).

Demetrios.


0

Hello Demetrios,

>>>>> Many (new) plug-ins could benefit from such a functionality to be
>>>>> more user friendly, thus opening IntelliJ to wide range of totally
>>>>> new users.
>>>>>
>>>> Unfortunately I don't believe that there are many people people for
>>>> whom the only reason why they don't use IntelliJ IDEA is its
>>>> inability to display fonts of different sizes.
>>>>
>>> I haven't said like that :). If that feature were available, many
>>> new
>>> plug-ins would be possible
>>> thus targeting new users, that otherwise use other solutions
>>> (solutions
>>> that lack on the others side features that IntelliJ already has, so
>>> would be happy to move to IntelliJ).
>> Could you give an example of such plugin?
>>

E.g. LaTeX (the entire academic community is using it).


What would be the advantages of editing LaTeX files in IntelliJ IDEA rather
than in a dedicated tool?

--
Dmitry Jemerov
Development Lead
JetBrains, Inc.
http://www.jetbrains.com/
"Develop with Pleasure!"


0

>>>>>> Many (new) plug-ins could benefit from such a functionality to be
>>>>>> more user friendly, thus opening IntelliJ to wide range of totally
>>>>>> new users.
>>>>>>
>>>>> Unfortunately I don't believe that there are many people people for
>>>>> whom the only reason why they don't use IntelliJ IDEA is its
>>>>> inability to display fonts of different sizes.
>>>>>
>>>> I haven't said like that :). If that feature were available, many
>>>> new
>>>> plug-ins would be possible
>>>> thus targeting new users, that otherwise use other solutions
>>>> (solutions
>>>> that lack on the others side features that IntelliJ already has, so
>>>> would be happy to move to IntelliJ).
>>> Could you give an example of such plugin?
>>>
>> E.g. LaTeX (the entire academic community is using it).


What would be the advantages of editing LaTeX files in IntelliJ IDEA
rather than in a dedicated tool?

Those tools all lack IntelliJ's advanced editing features, error
highlight, quick help, various VCS integration(with the local VCS),
(just to mention a few) - things that make users really productive.

Demetrios.

0

Please sign in to leave a comment.