Commit 949612a6 authored by Clint Rogers's avatar Clint Rogers

Closes #3275 by inserting an 8-pixel spacer between the rightmost edge of the...

Closes #3275 by inserting an 8-pixel spacer between the rightmost edge of the zoom tool and the edge of the window.
parent 651aa278
......@@ -151,6 +151,10 @@ public abstract class MediaPage : CheckerboardPage {
zoom_in_box.button_press_event.connect(on_zoom_in_pressed);
zoom_group.pack_start(zoom_in_box, false, false, 0);
// spacer to push away from Ubuntu resize handles
zoom_group.pack_start(new Gtk.HBox(true, Resources.RESIZE_HANDLE_SPACER),
false, false, Resources.RESIZE_HANDLE_SPACER);
add(zoom_group);
}
......
......@@ -399,7 +399,6 @@ private class BasicProperties : Properties {
private class ExtendedPropertiesWindow : Gtk.Dialog {
private ExtendedProperties properties = null;
private const int FRAME_BORDER = 6;
private const int RESIZE_HANDLE_SPACER = 8;
private Gtk.Button close_button;
private class ExtendedProperties : Properties {
......@@ -535,9 +534,9 @@ private class ExtendedPropertiesWindow : Gtk.Dialog {
close_button.clicked.connect(on_close_clicked);
// Move the buttons away from where Unity window
// manager on Ubuntu 11.04 puts resize handles
// manager on Ubuntu puts resize handles
Gtk.Alignment action_alignment = new Gtk.Alignment(1, 0.5f, 1, 1);
action_alignment.set_padding(0, 0, 0, RESIZE_HANDLE_SPACER);
action_alignment.set_padding(0, 0, 0, Resources.RESIZE_HANDLE_SPACER);
action_alignment.add(close_button);
action_area.add(action_alignment);
}
......
......@@ -31,6 +31,8 @@ namespace Resources {
public const int DEFAULT_ICON_SCALE = 24;
public const int RESIZE_HANDLE_SPACER = 8;
public const string[] AUTHORS = {
"Jim Nelson <jim@yorba.org>",
"Lucas Beeler <lucas@yorba.org>",
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment