[sushi] evince: fix spinner size
- From: Cosimo Cecchi <cosimoc src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [sushi] evince: fix spinner size
- Date: Wed, 27 Apr 2011 20:19:54 +0000 (UTC)
commit 624938a7d3b7cf1ca654b8de802e58afa89e9a41
Author: Cosimo Cecchi <cosimoc gnome org>
Date: Wed Apr 27 16:19:12 2011 -0400
evince: fix spinner size
src/js/viewers/evince.js | 7 +++++--
1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/src/js/viewers/evince.js b/src/js/viewers/evince.js
index f877768..7f9ba24 100644
--- a/src/js/viewers/evince.js
+++ b/src/js/viewers/evince.js
@@ -9,7 +9,7 @@ let Utils = imports.ui.utils;
let Features = imports.util.features;
let PDF_X_PADDING = 40;
-let SPINBOX_SIZE = 150;
+let SPINNER_SIZE = 48;
function EvinceRenderer(args) {
this._init(args);
@@ -35,6 +35,8 @@ EvinceRenderer.prototype = {
let spinner = Gtk.Spinner.new();
spinner.show();
spinner.start();
+ spinner.set_size_request(SPINNER_SIZE, SPINNER_SIZE);
+
this._spinnerBox.pack_start(spinner, true, true, 0);
let label = new Gtk.Label();
@@ -82,7 +84,8 @@ EvinceRenderer.prototype = {
let height = this._pageHeight;
if (!this._document) {
- [ width, height ] = [ SPINBOX_SIZE, SPINBOX_SIZE ];
+ [ width, height ] = [ this._spinnerBox.get_preferred_size()[0].width,
+ this._spinnerBox.get_preferred_size()[0].height ];
} else {
let scaledSize = Utils.getScaledSize([ width, height ],
allocation,
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]