[Github-comments] Re: [geany/geany] more toolbar elements in the Customize Toolbar (#2690)

2023-11-29 Thread eexpress via Github-comments
I want a new butoon for ctrl-shift-d "find current selection in document". -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/2690#issuecomment-1831758959 You are receiving this because you are subscribed to this thread. Message ID:

[Github-comments] Re: [geany/geany] replace xterm with gnome-terminal (Issue #3703)

2023-11-25 Thread eexpress via Github-comments
> Ok so maybe `--wait`? Thanks. --wait is works. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/3703#issuecomment-1826266057 You are receiving this because you are subscribed to this thread. Message ID:

[Github-comments] Re: [geany/geany] replace xterm with gnome-terminal (Issue #3703)

2023-11-25 Thread eexpress via Github-comments
> `-e` is also deprecated, OMG. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/3703#issuecomment-1826264885 You are receiving this because you are subscribed to this thread. Message ID:

[Github-comments] [geany/geany] replace xterm with gnome-terminal (Issue #3703)

2023-11-23 Thread eexpress via Github-comments
The xterm is small without configure it, and I do not like to make a .Xdefaults config for xterm any more. So I want replace the `xterm` with well work's `gnome-terminal`. In `Preferences -> Tools -> Terminal`: 1. when I set as `gnome-terminal -e "/bin/sh %c"`, and click the **RUN** botton in t