File 0149-Extension-configuration-add-a-new-option-center-with.patch of Package hamster-time-tracker
From 112dc32f0cc488b3af33faf9f52814d622e9adeb Mon Sep 17 00:00:00 2001
From: Marc Thomas <marcthomas.dev@gmail.com>
Date: Tue, 25 Sep 2018 18:29:02 +0200
Subject: [PATCH 149/153] Extension configuration : add a new option 'center'
(without replacing the calendar this time) in 'Positioning' select.
(cherry picked from commit 8b33f3421cb5f7b92f75fe01a0c3233b36aa4856)
---
extension/extension.js | 3 +++
extension/prefs.js | 1 +
2 files changed, 4 insertions(+)
diff --git a/extension/extension.js b/extension/extension.js
index 3414ecf..d91e719 100644
--- a/extension/extension.js
+++ b/extension/extension.js
@@ -236,6 +236,9 @@ class Controller {
this._activitiesText = activitiesMenu.get_text();
activitiesMenu.set_text('');
Main.panel.addToStatusArea("hamster", this.panelWidget, 1, "left");
+ } else if (placement == 3) {
+ // 'Center'
+ Main.panel.addToStatusArea("hamster", this.panelWidget, 1, "center");
} else {
// 'Default'
Main.panel.addToStatusArea("hamster", this.panelWidget, 0, "right");
diff --git a/extension/prefs.js b/extension/prefs.js
index e7f9b04..95a66e7 100644
--- a/extension/prefs.js
+++ b/extension/prefs.js
@@ -60,6 +60,7 @@ class HamsterSettingsWidget extends Gtk.Grid {
placementOptions.set(placementOptions.append(), [0, 1], ["Default", 0]);
placementOptions.set(placementOptions.append(), [0, 1], ["Replace calendar", 1]);
placementOptions.set(placementOptions.append(), [0, 1], ["Replace activities", 2]);
+ placementOptions.set(placementOptions.append(), [0, 1], ["Center", 3]);
let placementCombo = new Gtk.ComboBox({
model: placementOptions,
--
2.35.1