git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Two minor glitches in git-gui

From
Michele Ballabio <barra_cuda@katamail.com>
Date
Oct 9, 2007, 09:21 UTC
Message-ID
<200710091121.59422.barra_cuda@katamail.com>
On Linux:
  1. run git-gui
  2. open edit->options dialog box
  3. click on "select font". It will open the "choose font" box.
  4. click on "options" box to give it focus.
  5. return to the "choose font" box and try to choose a font.
At this point, the "choose font" box won't react to my actions.

The workaround is to iconify the "select font" dialog box and then restore it. Can someone reproduce this?

I think I've seen a similar behaviour before, on git-gui's about window, but I'm not sure (it doesn't trigger anymore).

The other problem is that it is possible to open the same "choose font" box many times (one is enough :).

Next: Shawn O. Pearce
Message 1 of 2 in “Two minor glitches in git-gui”
  1. Michele BallabioOct 9, 2007
  2. Shawn O. PearceOct 10, 2007

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.