Groups
Sign in
Groups
ceylon-users
Conversations
About
Send feedback
Help
Ceylon IDE Ceylon Documentation font size
29 views
Skip to first unread message
Nikolay Rychkov
unread,
Jun 27, 2015, 12:46:03 PM
6/27/15
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to ceylon...@googlegroups.com
I use a HD display and font of help is too small. How to increase help font size?
Gavin King
unread,
Jun 27, 2015, 4:58:09 PM
6/27/15
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to ceylon...@googlegroups.com
Go to:
Eclipse > Preferences ... > General > Appearance > Colors and Fonts
And under Ceylon, change the "Ceylon Hover Text Font".
At least that's where it is on Mac :-)
HTH
> --
> You received this message because you are subscribed to the Google Groups
> "ceylon-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to
ceylon-users...@googlegroups.com
.
> To post to this group, send email to
ceylon...@googlegroups.com
.
> Visit this group at
http://groups.google.com/group/ceylon-users
.
> To view this discussion on the web visit
>
https://groups.google.com/d/msgid/ceylon-users/8b497f6b-e56f-4a5f-b157-a95a74e76c75%40googlegroups.com
.
> For more options, visit
https://groups.google.com/d/optout
.
--
Gavin King
ga...@ceylon-lang.org
http://profiles.google.com/gavin.king
http://ceylon-lang.org
http://hibernate.org
http://seamframework.org
Nikolay Rychkov
unread,
Jun 27, 2015, 6:16:14 PM
6/27/15
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to ceylon...@googlegroups.com
Work on Debian. Thank you!
суббота, 27 июня 2015 г., 23:58:09 UTC+3 пользователь Gavin King написал:
Gavin King
unread,
Jun 27, 2015, 6:32:31 PM
6/27/15
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to ceylon...@googlegroups.com
np.
>
https://groups.google.com/d/msgid/ceylon-users/cea24c22-d71e-4dd2-8eb5-0841f1858791%40googlegroups.com
.
Reply all
Reply to author
Forward
0 new messages