Ticket #208 (new enhancement)

Opened 3 years ago

Last modified 18 months ago

Patch to disable/enable bold font

Reported by: tatofoo Owned by: somebody
Priority: Fix available Milestone: 0.5.0
Component: guake Version:
Keywords: preferences bold font terminal Cc:

Description

The patch adds a little checkbox to the Appareance tab in the preferences windows to enable/disable bold font in the terminal.

Attachments

Change History

Changed 3 years ago by tatofoo

  Changed 3 years ago by pingou

  • priority changed from minor to Fix available

in reply to: ↑ description   Changed 18 months ago by ulidtko

Replying to tatofoo:

The patch adds a little checkbox to the Appareance tab in the preferences windows to enable/disable bold font in the terminal.

May I ask why would you need this?

Note: See TracTickets for help on using tickets.