Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [platform-debug-dev] Font for Debug and Variables Views

Thanks for you help. This seems inconsistent to me as I can control the Debug Console view, edit views, dialogs, headers and more. The "use System Font" option seems a good one, and it would be nice to override it for the remaining debug views.

For our application, users have programs with Unicode fonts that support logical operators (union, intersection, etc), as well as other languages. We display those operators in stack frames (now they display as boxes). So it would be very nice to have the same font for our Debug i/o view (called a Prolog listener) and the stack frame view.

This leads to two questions:

1) Should I put in an enhancement request to be able to control the font for the Debug views? Or does this not fit with the overall design?
2) Is there a way to force a font change in the Debug view? If so, how?

Thanks again,
Mary Kroening


At 02:49 PM 11/17/2003 -0800, you wrote:
These views use your native system font. SWT and all that...

- Jared

On Monday 17 November 2003 11:36 am, Mary Kroening wrote:
> How do you set the font for the Debug and Variables views? It does not seem
> to use any of the fonts under Preferences | Workbench | Fonts.
>
> Thanks,
> Mary Kroening
>
>
>
> ----------------------------------------------------
>    Amzi! inc.
>      5861 Greentree Road
>      Lebanon, OH 45036 U.S.A.
>    web      http://www.amzi.com
>    tel      +1 513 425 8050
>    e-mail   info@xxxxxxxx
>    fax      +1 513 425 8025
> ----------------------------------------------------
>
> _______________________________________________
> platform-debug-dev mailing list
> platform-debug-dev@xxxxxxxxxxx
> http://dev.eclipse.org/mailman/listinfo/platform-debug-dev

_______________________________________________
platform-debug-dev mailing list
platform-debug-dev@xxxxxxxxxxx
http://dev.eclipse.org/mailman/listinfo/platform-debug-dev


----------------------------------------------------
  Amzi! inc.
    5861 Greentree Road
    Lebanon, OH 45036 U.S.A.
  web      http://www.amzi.com
  tel      +1 513 425 8050
  e-mail   info@xxxxxxxx
  fax      +1 513 425 8025
----------------------------------------------------



Back to the top