> On Nov 23, 2015, at 6:31 PM, Quincey Morris > <quinceymor...@rivergatesoftware.com> wrote: > > On Nov 23, 2015, at 17:12 , Carl Hoefs <newsli...@autonomy.caltech.edu > <mailto:newsli...@autonomy.caltech.edu>> wrote: >> >> That still doesn't change the console font. It seems to have no effect. And >> "New Theme From Template" is dimmed out when I try to add to the left-hand >> column by clicking on the + icon. > > Use the top item “Duplicate XXX” to duplicate the selected theme. I think > “New Theme From Template” is just a heading for the templates listed below. > (?) I assuming chooses one of those creates a new theme from the template. > It’s confusing (!) because the themes in the list that have been created from > templates already have the same names as the templates. (!) > > When you have your new theme, click on the T icon to show the font panel. > Then click on a list entry to select it (in the right list). Then choose a > new font size from the font panel. Then wait. After a few seconds, the size > should change in the list and in the debug window. At least, that’s what > worked for me.
So... you're saying I have to create a new default just to change the font size? Lol. Still has no effect in the Xcode windows (though it shows a difference in the list). Maybe I need to restart Xcode for it to take effect? -Carl
_______________________________________________ Do not post admin requests to the list. They will be ignored. Xcode-users mailing list (Xcode-users@lists.apple.com) Help/Unsubscribe/Update your Subscription: https://lists.apple.com/mailman/options/xcode-users/archive%40mail-archive.com This email sent to arch...@mail-archive.com
