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.
Please sign in to leave a comment.
Hello Demetrios,
No, this is not possible. The entire contents of the editor is drawn in the
same font.
--
Dmitry Jemerov
Development Lead
JetBrains, Inc.
http://www.jetbrains.com/
"Develop with Pleasure!"
:(.
(even notepad++ is able to display such a thing :( ).
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.
Hello Demetrios,
>> No, this is not possible.
>>
>> The entire contents of the editor is drawn in the same font.
>>
No, there are no such plans.
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!"
>>> 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.
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.
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.
>>
Could you give an example of such plugin?
--
Dmitry Jemerov
Development Lead
JetBrains, Inc.
http://www.jetbrains.com/
"Develop with Pleasure!"
>>>> 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).
E.g. LaTeX (the entire academic community is using it).
Demetrios.
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?
>>
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!"
>>>>>> 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).
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.