2

I want to be able to set the default font in the TeXworks editor to Courier Bold 12pt.

I currently have the typeface set to Courier and the fontsize set to 12pt by changing some settings in the menu Edit->Preferences...->Editor, however there doesn't seem to be any options available to setting the default font to bold. This renders the text too thin to be easily read on my monitor.

I already know that the font can be temporarily boldened at Format->Fonts... but this means I have to enter this menu each time I open a document.

  • on windows, texworks stores the default font in the registry. unfortunately, the format is unclear: MS Shell Dlg 2,14,-1,5,50,0,0,0,0,0. Surely someone on the mailing list would know. – Mark Apr 11 '17 at 3:07
1

It is possible to do this with some CSS. See How can I set a dark theme in TeXworks? for the general method of using a custom CSS file for TeXworks. In the .css file itself, you need this:

QTextEdit {
  font-weight: bold;
}

(Short description of method: save foo.css somewhere, and run TeXworks with texworks -stylesheet /path/to/foo.css.)

Left, default weight, right bold weight.

texworks

0

texworkpref

You can choose any font you like whether it is bold, light etc.,

  • Swisle knows about this, he's asking how you can set the weight of the chosen font to bold, as you can do under Format --> Font. – Torbjørn T. May 13 '16 at 6:43
  • Since Courier Bold is different font (i.e. a different file) than Courier, it should appear in the list if it's installed on the OS, should not it? – ebosi May 13 '16 at 7:48
  • Unfortunately ebo, Courier Bold does not appear in the drop down list. – Swisle May 13 '16 at 7:59
  • @Swisle Then you probably don't have it installed. You could try googling for e.g. courier bold download and see if you find a font file that you can install to your system. – Torbjørn T. Jun 12 '16 at 8:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.