After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 782327 - gedit terminal plugin: no keyboard shortcut to switch between terminal and main editing window
gedit terminal plugin: no keyboard shortcut to switch between terminal and ma...
Status: RESOLVED OBSOLETE
Product: gedit-plugins
Classification: Other
Component: General
3.18.x
Other Linux
: Normal normal
: ---
Assigned To: Gedit maintainers
Gedit maintainers
Depends on:
Blocks:
 
 
Reported: 2017-05-08 13:20 UTC by kenny_au_ski
Modified: 2020-11-24 10:17 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description kenny_au_ski 2017-05-08 13:20:38 UTC
This bug report concerns the "embedded terminal" plugin of Gedit 3.18.3, running on Mint 18.1. The problem is that I have no keyboard shortcut to switch between the terminal window and the text editing window.  

I used to work with Gedit 3.10.4 which worked fine: I could switch between one and the other using the shortcut Ctrl+F9. On pressing Ctrl+F9, the terminal appears and the active prompt goes inside the terminal. In other words, once I type Ctrl+F9 and the terminal appears, if I type something, it goes inside the terminal, not in the text editing part. If I press Ctrl+F9 again, the terminal disappears, and the active prompt returns to the text edition.

In the newer version, Gedit 3.18.3, the terminal does appear upon pressing Ctrl+F9, but the active prompt stays in the text editing part. That is, if I type something at this moment, it just goes into the text file I am editing. I do not know of any way to type something in the terminal without using the mouse and clicking inside the terminal first. Once I do so and have my active prompt inside the terminal, if I press Ctrl+F9, then the terminal does not disappear as it should. Instead, ";5~" appears at the place of the prompt in the terminal.

I find this very annoying, and would greatly appreciate that this problem be solved.
Comment 1 Garrett Regier 2017-05-08 16:15:12 UTC

*** This bug has been marked as a duplicate of bug 700899 ***
Comment 2 kenny_au_ski 2017-05-09 19:32:16 UTC
I don't think that it is a duplicate. Bug 700899 refers to Gedit 3.8.x. Even the actual keyboard shortcut has changed. As I say in the report, Gedit 3.10 works fine. And now an indeed very similar bug is back. Bug 700899 has been fixed, and now the problem is back for a probably different reason.
Comment 3 Sébastien Wilmet 2020-11-24 10:17:30 UTC
Mass-closing of all gedit-plugins bugzilla tickets.

Special "code" to find again all those gedit-plugins bugzilla tickets that were open before the mass-closing:

2bfe1b0590a78457e1f1a6a90fb975f5878cb60064ccfe1d7db76ca0da52f0f3

By searching the above sha256sum in bugzilla, the gedit contributors can find again the tickets. We may be interested to do so when we work on a specific area of the code, to at least know the known problems and possible enhancements.

We do this mass-closing because bugzilla.gnome.org is being replaced by gitlab.gnome.org.