Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Terminal on wrong monitor #10

Closed
Arrakaij opened this issue Oct 23, 2012 · 3 comments
Closed

Terminal on wrong monitor #10

Arrakaij opened this issue Oct 23, 2012 · 3 comments
Labels
Milestone

Comments

@Arrakaij
Copy link

I have 2 Displays connected, displaying the gnome bar on the right one. This one is the main monitor, too, according to xrandr.
However, toggling the terminal always toggles it on the left screen. this might be okay, but since there is no bar on this screen, a empty space appears between top-of-screen and the terminal.

my suggestions:
1st: Place the terminal [top-of-screen]+[height-of-bar] for that monitor
2nd: place the terminal on primary screen
3th: alternatively make the position (x/y) configurable. this way, it would be possible to have the terminal on-bottom or on-the-left

thanks for that great app, btw
Arrakaij

@slosd
Copy link

slosd commented Oct 23, 2012

I can confirm this, except the empty space. The terminal appears right at the top of the screen on my system.

@zzrough
Copy link
Owner

zzrough commented Oct 24, 2012

I read recently that the gnome bar can be moved to a different monitor. I'll try that. It's weird because I thought the primary monitor referenced by gnome-shell was the one with the bar, it seems it is not. Should be an easy fix.

@zzrough
Copy link
Owner

zzrough commented Oct 24, 2012

I tested on various configurations. If someone wants to test, grab a zipball of master: https://github.com/zzrough/gs-extensions-drop-down-terminal/zipball/master

  1. Replace your ~/.local/gnome-shell/extensions/drop-down-terminal@gs-extensions.zzrough.org with the one of the zip.
  2. Disable and enable the extension:
    gnome-shell-extension-tool -d drop-down-terminal@gs-extensions.zzrough.org; sleep 2; gnome-shell-extension-tool -e drop-down-terminal@gs-extensions.zzrough.org
  3. Restart the shell by typing alt-f2, r (like in "restart"), then enter

Backing up/moving your old version before is advised though :-)
If you go back to the old version, follow the same steps.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants