[vte] app: Don't add extra margins by default
- From: Christian Persch <chpe src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [vte] app: Don't add extra margins by default
- Date: Sat, 26 Dec 2015 18:39:48 +0000 (UTC)
commit a65d7a5d3cc9d0da2b482228f875f90b7f7bff01
Author: Christian Persch <chpe gnome org>
Date: Sat Dec 26 19:37:49 2015 +0100
app: Don't add extra margins by default
This is only useful to test that VteTerminal handles all offsets
correctly, but not for normal operation. So make it a cmdline option.
src/app.vala | 14 ++++++++++----
1 files changed, 10 insertions(+), 4 deletions(-)
---
diff --git a/src/app.vala b/src/app.vala
index 2362d09..bc2af66 100644
--- a/src/app.vala
+++ b/src/app.vala
@@ -233,10 +233,13 @@ class Window : Gtk.ApplicationWindow
/* Create terminal and connect scrollbar */
terminal = new Vte.Terminal();
- terminal.margin_start = 20;
- terminal.margin_end = 20;
- terminal.margin_top = 30;
- terminal.margin_bottom = 30;
+ var margin = App.Options.extra_margin;
+ if (margin > 0) {
+ terminal.margin_start =
+ terminal.margin_end =
+ terminal.margin_top =
+ terminal.margin_bottom = margin;
+ }
scrollbar.set_adjustment(terminal.get_vadjustment());
@@ -841,6 +844,7 @@ class App : Gtk.Application
public static bool debug = false;
public static string? encoding = null;
public static string[]? environment = null;
+ public static int extra_margin = 0;
public static string? font_string = null;
public static string? geometry = null;
private static string? hl_bg_color_string = null;
@@ -1013,6 +1017,8 @@ class App : Gtk.Application
"Specify the terminal encoding to use", null },
{ "env", 0, 0, OptionArg.STRING_ARRAY, ref environment,
"Add environment variable to the child\'s environment", "VAR=VALUE" },
+ { "extra-margin", 0, 0, OptionArg.INT, ref extra_margin,
+ "Add extra margin around the terminal widget", "MARGIN" },
{ "font", 'f', 0, OptionArg.STRING, ref font_string,
"Specify a font to use", null },
{ "gregex", 0, 0, OptionArg.NONE, ref no_pcre,
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]