diff options
| author | TingPing <TingPing@users.noreply.github.com> | 2013-09-19 22:01:15 -0400 |
|---|---|---|
| committer | TingPing <TingPing@users.noreply.github.com> | 2013-09-19 22:01:15 -0400 |
| commit | 36911710fd1745963a2deca37a283cb2881a106e (patch) | |
| tree | 3b18e3aa6076fd20a0de7bc75754943b637e7b92 /src | |
| parent | 267ac71d4f9f4b3fba38b058d8b698da3b0e499c (diff) | |
Make manual reposition after unfullscreen Windows only
Diffstat (limited to 'src')
| -rw-r--r-- | src/fe-gtk/menu.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/fe-gtk/menu.c b/src/fe-gtk/menu.c index 73610bcf..07b6cd66 100644 --- a/src/fe-gtk/menu.c +++ b/src/fe-gtk/menu.c @@ -899,11 +899,13 @@ menu_fullscreen_toggle (GtkWidget *wid, gpointer ud) { gtk_window_unfullscreen (GTK_WINDOW(parent_window)); - /* At least on Windows we need to manually reposition the window */ +#ifdef WIN32 + /* other window managers seem to handle this */ gtk_window_resize (GTK_WINDOW(parent_window), prefs.hex_gui_win_width, prefs.hex_gui_win_height); gtk_window_move (GTK_WINDOW(parent_window), prefs.hex_gui_win_left, prefs.hex_gui_win_top); +#endif } } |