Commit 570762a1778a85b344d2ff94f13b430f18659101 - gnome-shell-extension-autohidetopbar

New upstream version 20210525 Tobias Frost 2 years ago

18 changed file(s) with 1461 addition(s) and 401 deletion(s). Raw diff Collapse all Expand all

-0

.gitignore less more

1	1	schemas
2	2	*.mo
3	3	locale/hidetopbar.pot-stamp
	4	Settings.ui.h

-3

Makefile less more

12	12	glib-compile-schemas --strict ./schemas/
13	13
14	14	hidetopbar.zip: schemas/gschemas.compiled $(LOCALES_MO)
15		zip hidetopbar.zip -r COPYING.txt $(JS_FILES) metadata.json $(LOCALES_MO) schemas
	15	zip hidetopbar.zip -r COPYING.txt $(JS_FILES) metadata.json $(LOCALES_MO) schemas Settings.ui Settings-40.ui
16	16
17	17	clean:
18	18	rm -rf hidetopbar.zip schemas/gschemas.compiled ${LOCALES_MO}

23	23	%.mo: %.po locale/hidetopbar.pot locale/hidetopbar.pot-stamp
24	24	msgfmt -c -o $@ $<
25	25
26		locale/hidetopbar.pot locale/hidetopbar.pot-stamp : $(JS_FILES)
27		xgettext --output=./locale/hidetopbar.pot --language=JavaScript $^
	26	locale/hidetopbar.pot locale/hidetopbar.pot-stamp : $(JS_FILES) Settings.ui
	27	xgettext --output=./locale/hidetopbar.pot --language=JavaScript $(JS_FILES)
	28	intltool-extract --type=gettext/glade Settings.ui
	29	xgettext -k --keyword=_ --keyword=N_ --join-existing \
	30	-o ./locale/hidetopbar.pot Settings.ui.h
	31	rm Settings.ui.h
28	32	touch locale/hidetopbar.pot-stamp

+14

-4

README.md less more

3	3	This GNOME extension helps to hide GNOME's top bar when it gets into your way.
4	4
5	5	In the extension's preferences, different behaviors can be specified: unhiding on mouse-over or on pressing a keyboard shortcut, or when no window requires the space.
	6
	7	![clip](https://user-images.githubusercontent.com/1518387/115446545-a6201500-a217-11eb-84f9-abbcd3251a10.gif)
6	8
7	9	Installation from extensions.gnome.org
8	10	--------------------------------------

29	31	Installation from source
30	32	------------------------
31	33
32		If you insist on installing from source, check out the source code into your local extensions
33		directory, compile by running `make`, install and restart GNOME Shell. For example:
	34	If you insist on installing from source, the commands `intltool-extract`, `xgettext` and `msgfmt`
	35	from the packages `intltool` and `gettext` (package names may vary depending on your
	36	distribution) are required.
	37
	38	The procedure to install from source is as follows: Check out the source code into your local
	39	extensions directory, compile by running `make`, install and restart GNOME Shell. For example:
34	40
35	41	cd ~/.local/share/gnome-shell/extensions/
36	42	git clone https://github.com/mlutfy/hidetopbar.git hidetopbar@mathieu.bidon.ca

42	48
43	49	The last commandline restarts GNOME Shell.
44	50
	51
45	52	Updating the language strings
46	53	-----------------------------
47	54

49	56	covered by the strings in `./locale/`, you can regenerate the `*.pot`-file using the
50	57	following command:
51	58
52		xgettext --output=./locale/hidetopbar.pot --language=JavaScript *.js
	59	make ./locale/hidetopbar.pot
	60
	61	As mentioned in the previous section, running `make` requires the packages `intltool`
	62	and `gettext` (the package names may vary depending on your distribution).
53	63
54	64	License
55	65	-------
56	66
57		Copyright (c) 2013-2020 Thomas Vogt.
	67	Copyright (c) 2013-2021 Thomas Vogt.
58	68
59	69	Copyright (c) 2012-2013 Mathieu Lutfy.
60	70

+512

-0

Settings-40.ui less more

	0	<?xml version="1.0" encoding="UTF-8"?>
	1	<!-- Generated with glade 3.38.2 -->
	2	<interface>
	3	<requires lib="gtk+" version="3.24"/>
	4	<object class="GtkAdjustment" id="adjust_animation_time_autohide">
	5	<property name="upper">1</property>
	6	<property name="step-increment">0.10</property>
	7	<property name="page-increment">0.10</property>
	8	</object>
	9	<object class="GtkAdjustment" id="adjust_animation_time_overview">
	10	<property name="upper">1</property>
	11	<property name="step-increment">0.10</property>
	12	<property name="page-increment">0.10</property>
	13	</object>
	14	<object class="GtkAdjustment" id="adjust_pressure_threshold">
	15	<property name="upper">10000</property>
	16	<property name="step-increment">1</property>
	17	<property name="page-increment">10</property>
	18	</object>
	19	<object class="GtkAdjustment" id="adjust_pressure_timeout">
	20	<property name="upper">10000</property>
	21	<property name="step-increment">1</property>
	22	<property name="page-increment">10</property>
	23	</object>
	24	<object class="GtkAdjustment" id="adjust_shortcut_delay">
	25	<property name="upper">10</property>
	26	<property name="step-increment">0.10</property>
	27	<property name="page-increment">1</property>
	28	</object>
	29	<object class="GtkListStore" id="store_shortcut_keybind">
	30	<columns>
	31	<!-- column-name binding_mods -->
	32	<column type="gint"/>
	33	<!-- column-name binding_key -->
	34	<column type="gint"/>
	35	</columns>
	36	<data>
	37	<row>
	38	<col id="0">0</col>
	39	<col id="1">0</col>
	40	</row>
	41	</data>
	42	</object>
	43	<object class="GtkNotebook" id="settings_notebook">
	44	<property name="visible">True</property>
	45	<property name="can-focus">True</property>
	46	<child>
	47	<!-- n-columns=2 n-rows=7 -->
	48	<object class="GtkGrid">
	49	<property name="visible">True</property>
	50	<property name="can-focus">False</property>
	51	<property name="margin-start">5</property>
	52	<property name="margin-end">5</property>
	53	<property name="margin-top">10</property>
	54	<property name="margin-bottom">5</property>
	55	<property name="row-spacing">10</property>
	56	<property name="column-spacing">10</property>
	57	<child>
	58	<object class="GtkLabel">
	59	<property name="visible">True</property>
	60	<property name="can-focus">False</property>
	61	<property name="halign">start</property>
	62	<property name="hexpand">True</property>
	63	<property name="label" translatable="yes">Show panel when mouse approaches edge of the screen</property>
	64	<layout>
	65	<property name="column">0</property>
	66	<property name="row">0</property>
	67	</layout>
	68	</object>
	69	</child>
	70	<child>
	71	<object class="GtkLabel">
	72	<property name="visible">True</property>
	73	<property name="can-focus">False</property>
	74	<property name="halign">start</property>
	75	<property name="hexpand">True</property>
	76	<property name="label" translatable="yes">In the above case, also show panel when fullscreen</property>
	77	<layout>
	78	<property name="column">0</property>
	79	<property name="row">1</property>
	80	</layout>
	81	</object>
	82	</child>
	83	<child>
	84	<object class="GtkLabel">
	85	<property name="visible">True</property>
	86	<property name="can-focus">False</property>
	87	<property name="halign">start</property>
	88	<property name="hexpand">True</property>
	89	<property name="label" translatable="yes">Show panel in overview</property>
	90	<layout>
	91	<property name="column">0</property>
	92	<property name="row">2</property>
	93	</layout>
	94	</object>
	95	</child>
	96	<child>
	97	<object class="GtkLabel">
	98	<property name="visible">True</property>
	99	<property name="can-focus">False</property>
	100	<property name="halign">start</property>
	101	<property name="hexpand">True</property>
	102	<property name="label" translatable="yes">Keep hot corner sensitive, even in hidden state</property>
	103	<layout>
	104	<property name="column">0</property>
	105	<property name="row">3</property>
	106	</layout>
	107	</object>
	108	</child>
	109	<child>
	110	<object class="GtkLabel">
	111	<property name="visible">True</property>
	112	<property name="can-focus">False</property>
	113	<property name="halign">start</property>
	114	<property name="hexpand">True</property>
	115	<property name="label" translatable="yes">In the above case show overview, too</property>
	116	<layout>
	117	<property name="column">0</property>
	118	<property name="row">4</property>
	119	</layout>
	120	</object>
	121	</child>
	122	<child>
	123	<object class="GtkLabel">
	124	<property name="visible">True</property>
	125	<property name="can-focus">False</property>
	126	<property name="halign">start</property>
	127	<property name="hexpand">True</property>
	128	<property name="label" translatable="yes">Pressure barrier's threshold:</property>
	129	<layout>
	130	<property name="column">0</property>
	131	<property name="row">5</property>
	132	</layout>
	133	</object>
	134	</child>
	135	<child>
	136	<object class="GtkLabel">
	137	<property name="visible">True</property>
	138	<property name="can-focus">False</property>
	139	<property name="halign">start</property>
	140	<property name="hexpand">True</property>
	141	<property name="label" translatable="yes">Pressure barrier's timeout:</property>
	142	<layout>
	143	<property name="column">0</property>
	144	<property name="row">6</property>
	145	</layout>
	146	</object>
	147	</child>
	148	<child>
	149	<object class="GtkSwitch" id="toggle_mouse_sensitive">
	150	<property name="visible">True</property>
	151	<property name="can-focus">True</property>
	152	<property name="halign">end</property>
	153	<property name="valign">center</property>
	154	<layout>
	155	<property name="column">1</property>
	156	<property name="row">0</property>
	157	</layout>
	158	<!-- <signal name="notify::active" handler="toggle_setting" swapped="no"/> -->
	159	</object>
	160	</child>
	161	<child>
	162	<object class="GtkSwitch" id="toggle_mouse_sensitive_fullscreen_window">
	163	<property name="visible">True</property>
	164	<property name="can-focus">True</property>
	165	<property name="halign">end</property>
	166	<property name="valign">center</property>
	167	<layout>
	168	<property name="column">1</property>
	169	<property name="row">1</property>
	170	</layout>
	171	</object>
	172	</child>
	173	<child>
	174	<object class="GtkSwitch" id="toggle_show_in_overview">
	175	<property name="visible">True</property>
	176	<property name="can-focus">True</property>
	177	<property name="halign">end</property>
	178	<property name="valign">center</property>
	179	<layout>
	180	<property name="column">1</property>
	181	<property name="row">2</property>
	182	</layout>
	183	</object>
	184	</child>
	185	<child>
	186	<object class="GtkSwitch" id="toggle_hot_corner">
	187	<property name="visible">True</property>
	188	<property name="can-focus">True</property>
	189	<property name="halign">end</property>
	190	<property name="valign">center</property>
	191	<layout>
	192	<property name="column">1</property>
	193	<property name="row">3</property>
	194	</layout>
	195	</object>
	196	</child>
	197	<child>
	198	<object class="GtkSwitch" id="toggle_mouse_triggers_overview">
	199	<property name="visible">True</property>
	200	<property name="can-focus">True</property>
	201	<property name="halign">end</property>
	202	<property name="valign">center</property>
	203	<layout>
	204	<property name="column">1</property>
	205	<property name="row">4</property>
	206	</layout>
	207	</object>
	208	</child>
	209	<child>
	210	<object class="GtkSpinButton" id="spin_pressure_threshold">
	211	<property name="visible">True</property>
	212	<property name="can-focus">True</property>
	213	<property name="halign">end</property>
	214	<property name="valign">center</property>
	215	<property name="adjustment">adjust_pressure_threshold</property>
	216	<layout>
	217	<property name="column">1</property>
	218	<property name="row">5</property>
	219	</layout>
	220	</object>
	221	</child>
	222	<child>
	223	<object class="GtkSpinButton" id="spin_pressure_timeout">
	224	<property name="visible">True</property>
	225	<property name="can-focus">True</property>
	226	<property name="halign">end</property>
	227	<property name="valign">center</property>
	228	<property name="adjustment">adjust_pressure_timeout</property>
	229	<layout>
	230	<property name="column">1</property>
	231	<property name="row">6</property>
	232	</layout>
	233	</object>
	234	</child>
	235	</object>
	236	</child>
	237	<child type="tab">
	238	<object class="GtkLabel">
	239	<property name="visible">True</property>
	240	<property name="can-focus">False</property>
	241	<property name="label" translatable="yes">Sensitivity</property>
	242	</object>
	243	</child>
	244	<child>
	245	<!-- n-columns=2 n-rows=2 -->
	246	<object class="GtkGrid">
	247	<property name="visible">True</property>
	248	<property name="can-focus">False</property>
	249	<property name="margin-start">5</property>
	250	<property name="margin-end">5</property>
	251	<property name="margin-top">10</property>
	252	<property name="margin-bottom">5</property>
	253	<property name="row-spacing">10</property>
	254	<property name="column-spacing">10</property>
	255	<child>
	256	<object class="GtkLabel">
	257	<property name="visible">True</property>
	258	<property name="can-focus">False</property>
	259	<property name="halign">start</property>
	260	<property name="hexpand">True</property>
	261	<property name="label" translatable="yes">Slide animation time when entering/leaving overview:</property>
	262	<layout>
	263	<property name="column">0</property>
	264	<property name="row">0</property>
	265	</layout>
	266	</object>
	267	</child>
	268	<child>
	269	<object class="GtkLabel">
	270	<property name="visible">True</property>
	271	<property name="can-focus">False</property>
	272	<property name="halign">start</property>
	273	<property name="hexpand">True</property>
	274	<property name="label" translatable="yes">Slide animation time when mouse approaches edge of the screen:</property>
	275	<layout>
	276	<property name="column">0</property>
	277	<property name="row">1</property>
	278	</layout>
	279	</object>
	280	</child>
	281	<child>
	282	<object class="GtkSpinButton" id="spin_animation_time_overview">
	283	<property name="visible">True</property>
	284	<property name="can-focus">True</property>
	285	<property name="halign">end</property>
	286	<property name="valign">center</property>
	287	<property name="adjustment">adjust_animation_time_overview</property>
	288	<property name="digits">1</property>
	289	<layout>
	290	<property name="column">1</property>
	291	<property name="row">0</property>
	292	</layout>
	293	</object>
	294	</child>
	295	<child>
	296	<object class="GtkSpinButton" id="spin_animation_time_autohide">
	297	<property name="visible">True</property>
	298	<property name="can-focus">True</property>
	299	<property name="halign">end</property>
	300	<property name="valign">center</property>
	301	<property name="adjustment">adjust_animation_time_autohide</property>
	302	<property name="digits">1</property><layout>
	303	<property name="column">1</property>
	304	<property name="row">1</property>
	305	</layout>
	306	</object>
	307	</child>
	308	</object>
	309	</child>
	310	<child type="tab">
	311	<object class="GtkLabel">
	312	<property name="visible">True</property>
	313	<property name="can-focus">False</property>
	314	<property name="label" translatable="yes">Animation</property>
	315	</object>
	316	</child>
	317	<child>
	318	<!-- n-columns=2 n-rows=3 -->
	319	<object class="GtkGrid">
	320	<property name="visible">True</property>
	321	<property name="can-focus">False</property>
	322	<property name="margin-start">5</property>
	323	<property name="margin-end">5</property>
	324	<property name="margin-top">10</property>
	325	<property name="margin-bottom">5</property>
	326	<property name="row-spacing">10</property>
	327	<property name="column-spacing">10</property>
	328	<child>
	329	<object class="GtkLabel">
	330	<property name="visible">True</property>
	331	<property name="can-focus">False</property>
	332	<property name="halign">start</property>
	333	<property name="valign">center</property>
	334	<property name="hexpand">True</property>
	335	<property name="label" translatable="yes">Key that triggers the bar to be shown:</property>
	336	<layout>
	337	<property name="column">0</property>
	338	<property name="row">0</property>
	339	</layout>
	340	</object>
	341	</child>
	342	<child>
	343	<object class="GtkLabel">
	344	<property name="visible">True</property>
	345	<property name="can-focus">False</property>
	346	<property name="halign">start</property>
	347	<property name="valign">center</property>
	348	<property name="hexpand">True</property>
	349	<property name="label" translatable="yes">Delay before the bar rehides after key press:</property>
	350	<layout>
	351	<property name="column">0</property>
	352	<property name="row">1</property>
	353	</layout>
	354	</object>
	355	</child>
	356	<child>
	357	<object class="GtkLabel">
	358	<property name="visible">True</property>
	359	<property name="can-focus">False</property>
	360	<property name="halign">start</property>
	361	<property name="valign">center</property>
	362	<property name="hexpand">True</property>
	363	<property name="label" translatable="yes">Pressing the shortcut again rehides the panel</property>
	364	<layout>
	365	<property name="column">0</property>
	366	<property name="row">2</property>
	367	</layout>
	368	</object>
	369	</child>
	370	<child>
	371	<object class="GtkTreeView">
	372	<property name="visible">True</property>
	373	<property name="can-focus">True</property>
	374	<property name="model">store_shortcut_keybind</property>
	375	<property name="headers-visible">False</property>
	376	<property name="enable-search">False</property>
	377	<property name="show-expanders">False</property>
	378	<layout>
	379	<property name="column">1</property>
	380	<property name="row">0</property>
	381	</layout>
	382	<child internal-child="selection">
	383	<object class="GtkTreeSelection"/>
	384	</child>
	385	<child>
	386	<object class="GtkTreeViewColumn">
	387	<property name="min-width">200</property>
	388	<property name="title" translatable="no">column</property>
	389	<property name="sort-column-id">0</property>
	390	<child>
	391	<object class="GtkCellRendererAccel" id="accel_shortcut_keybind">
	392	<property name="editable">True</property>
	393	</object>
	394	<attributes>
	395	<attribute name="accel-key">1</attribute>
	396	<attribute name="accel-mods">0</attribute>
	397	</attributes>
	398	</child>
	399	</object>
	400	</child>
	401	</object>
	402	</child>
	403	<child>
	404	<object class="GtkSpinButton" id="spin_shortcut_delay">
	405	<property name="visible">True</property>
	406	<property name="can-focus">True</property>
	407	<property name="halign">end</property>
	408	<property name="valign">center</property>
	409	<property name="adjustment">adjust_shortcut_delay</property>
	410	<property name="digits">1</property>
	411	<layout>
	412	<property name="column">1</property>
	413	<property name="row">1</property>
	414	</layout>
	415	</object>
	416	</child>
	417	<child>
	418	<object class="GtkSwitch" id="toggle_shortcut_toggles">
	419	<property name="visible">True</property>
	420	<property name="can-focus">True</property>
	421	<property name="halign">end</property>
	422	<property name="valign">center</property>
	423	<layout>
	424	<property name="column">1</property>
	425	<property name="row">2</property>
	426	</layout>
	427	</object>
	428	</child>
	429	</object>
	430	</child>
	431	<child type="tab">
	432	<object class="GtkLabel">
	433	<property name="visible">True</property>
	434	<property name="can-focus">False</property>
	435	<property name="label" translatable="yes">Keyboard shortcuts</property>
	436	</object>
	437	</child>
	438	<child>
	439	<!-- n-columns=2 n-rows=2 -->
	440	<object class="GtkGrid">
	441	<property name="visible">True</property>
	442	<property name="can-focus">False</property>
	443	<property name="margin-start">5</property>
	444	<property name="margin-end">5</property>
	445	<property name="margin-top">10</property>
	446	<property name="margin-bottom">5</property>
	447	<property name="row-spacing">10</property>
	448	<property name="column-spacing">10</property>
	449	<child>
	450	<object class="GtkLabel">
	451	<property name="visible">True</property>
	452	<property name="can-focus">False</property>
	453	<property name="halign">start</property>
	454	<property name="valign">center</property>
	455	<property name="hexpand">True</property>
	456	<property name="label" translatable="yes">Only hide panel when a window takes the space</property>
	457	<layout>
	458	<property name="column">0</property>
	459	<property name="row">0</property>
	460	</layout>
	461	</object>
	462	</child>
	463	<child>
	464	<object class="GtkLabel">
	465	<property name="visible">True</property>
	466	<property name="can-focus">False</property>
	467	<property name="halign">start</property>
	468	<property name="valign">center</property>
	469	<property name="hexpand">True</property>
	470	<property name="label" translatable="yes">Only when the active window takes the space</property>
	471	<layout>
	472	<property name="column">0</property>
	473	<property name="row">1</property>
	474	</layout>
	475	</object>
	476	</child>
	477	<child>
	478	<object class="GtkSwitch" id="toggle_enable_intellihide">
	479	<property name="visible">True</property>
	480	<property name="can-focus">True</property>
	481	<property name="halign">end</property>
	482	<property name="valign">center</property>
	483	<layout>
	484	<property name="column">1</property>
	485	<property name="row">0</property>
	486	</layout>
	487	</object>
	488	</child>
	489	<child>
	490	<object class="GtkSwitch" id="toggle_enable_active_window">
	491	<property name="visible">True</property>
	492	<property name="can-focus">True</property>
	493	<property name="halign">end</property>
	494	<property name="valign">center</property>
	495	<layout>
	496	<property name="column">1</property>
	497	<property name="row">1</property>
	498	</layout>
	499	</object>
	500	</child>
	501	</object>
	502	</child>
	503	<child type="tab">
	504	<object class="GtkLabel">
	505	<property name="visible">True</property>
	506	<property name="can-focus">False</property>
	507	<property name="label" translatable="yes">Intellihide</property>
	508	</object>
	509	</child>
	510	</object>
	511	</interface>

+541

-0

Settings.ui less more

	0	<?xml version="1.0" encoding="UTF-8"?>
	1	<!-- Generated with glade 3.38.2 -->
	2	<interface>
	3	<requires lib="gtk+" version="3.24"/>
	4	<object class="GtkAdjustment" id="adjust_animation_time_autohide">
	5	<property name="upper">1</property>
	6	<property name="step-increment">0.10</property>
	7	<property name="page-increment">0.10</property>
	8	</object>
	9	<object class="GtkAdjustment" id="adjust_animation_time_overview">
	10	<property name="upper">1</property>
	11	<property name="step-increment">0.10</property>
	12	<property name="page-increment">0.10</property>
	13	</object>
	14	<object class="GtkAdjustment" id="adjust_pressure_threshold">
	15	<property name="upper">10000</property>
	16	<property name="step-increment">1</property>
	17	<property name="page-increment">10</property>
	18	</object>
	19	<object class="GtkAdjustment" id="adjust_pressure_timeout">
	20	<property name="upper">10000</property>
	21	<property name="step-increment">1</property>
	22	<property name="page-increment">10</property>
	23	</object>
	24	<object class="GtkAdjustment" id="adjust_shortcut_delay">
	25	<property name="upper">10</property>
	26	<property name="step-increment">0.10</property>
	27	<property name="page-increment">1</property>
	28	</object>
	29	<object class="GtkListStore" id="store_shortcut_keybind">
	30	<columns>
	31	<!-- column-name binding_mods -->
	32	<column type="gint"/>
	33	<!-- column-name binding_key -->
	34	<column type="gint"/>
	35	</columns>
	36	<data>
	37	<row>
	38	<col id="0">0</col>
	39	<col id="1">0</col>
	40	</row>
	41	</data>
	42	</object>
	43	<object class="GtkNotebook" id="settings_notebook">
	44	<property name="visible">True</property>
	45	<property name="can-focus">True</property>
	46	<child>
	47	<!-- n-columns=2 n-rows=7 -->
	48	<object class="GtkGrid">
	49	<property name="visible">True</property>
	50	<property name="can-focus">False</property>
	51	<property name="margin-start">5</property>
	52	<property name="margin-end">5</property>
	53	<property name="margin-top">10</property>
	54	<property name="margin-bottom">5</property>
	55	<property name="row-spacing">10</property>
	56	<property name="column-spacing">10</property>
	57	<child>
	58	<object class="GtkLabel">
	59	<property name="visible">True</property>
	60	<property name="can-focus">False</property>
	61	<property name="halign">start</property>
	62	<property name="hexpand">True</property>
	63	<property name="label" translatable="yes">Show panel when mouse approaches edge of the screen</property>
	64	</object>
	65	<packing>
	66	<property name="left-attach">0</property>
	67	<property name="top-attach">0</property>
	68	</packing>
	69	</child>
	70	<child>
	71	<object class="GtkLabel">
	72	<property name="visible">True</property>
	73	<property name="can-focus">False</property>
	74	<property name="halign">start</property>
	75	<property name="hexpand">True</property>
	76	<property name="label" translatable="yes">In the above case, also show panel when fullscreen</property>
	77	</object>
	78	<packing>
	79	<property name="left-attach">0</property>
	80	<property name="top-attach">1</property>
	81	</packing>
	82	</child>
	83	<child>
	84	<object class="GtkLabel">
	85	<property name="visible">True</property>
	86	<property name="can-focus">False</property>
	87	<property name="halign">start</property>
	88	<property name="hexpand">True</property>
	89	<property name="label" translatable="yes">Show panel in overview</property>
	90	</object>
	91	<packing>
	92	<property name="left-attach">0</property>
	93	<property name="top-attach">2</property>
	94	</packing>
	95	</child>
	96	<child>
	97	<object class="GtkLabel">
	98	<property name="visible">True</property>
	99	<property name="can-focus">False</property>
	100	<property name="halign">start</property>
	101	<property name="hexpand">True</property>
	102	<property name="label" translatable="yes">Keep hot corner sensitive, even in hidden state</property>
	103	</object>
	104	<packing>
	105	<property name="left-attach">0</property>
	106	<property name="top-attach">3</property>
	107	</packing>
	108	</child>
	109	<child>
	110	<object class="GtkLabel">
	111	<property name="visible">True</property>
	112	<property name="can-focus">False</property>
	113	<property name="halign">start</property>
	114	<property name="hexpand">True</property>
	115	<property name="label" translatable="yes">In the above case show overview, too</property>
	116	</object>
	117	<packing>
	118	<property name="left-attach">0</property>
	119	<property name="top-attach">4</property>
	120	</packing>
	121	</child>
	122	<child>
	123	<object class="GtkLabel">
	124	<property name="visible">True</property>
	125	<property name="can-focus">False</property>
	126	<property name="halign">start</property>
	127	<property name="hexpand">True</property>
	128	<property name="label" translatable="yes">Pressure barrier's threshold:</property>
	129	</object>
	130	<packing>
	131	<property name="left-attach">0</property>
	132	<property name="top-attach">5</property>
	133	</packing>
	134	</child>
	135	<child>
	136	<object class="GtkLabel">
	137	<property name="visible">True</property>
	138	<property name="can-focus">False</property>
	139	<property name="halign">start</property>
	140	<property name="hexpand">True</property>
	141	<property name="label" translatable="yes">Pressure barrier's timeout:</property>
	142	</object>
	143	<packing>
	144	<property name="left-attach">0</property>
	145	<property name="top-attach">6</property>
	146	</packing>
	147	</child>
	148	<child>
	149	<object class="GtkSwitch" id="toggle_mouse_sensitive">
	150	<property name="visible">True</property>
	151	<property name="can-focus">True</property>
	152	<property name="halign">end</property>
	153	<property name="valign">center</property>
	154	<signal name="notify::active" handler="toggle_setting" swapped="no"/>
	155	</object>
	156	<packing>
	157	<property name="left-attach">1</property>
	158	<property name="top-attach">0</property>
	159	</packing>
	160	</child>
	161	<child>
	162	<object class="GtkSwitch" id="toggle_mouse_sensitive_fullscreen_window">
	163	<property name="visible">True</property>
	164	<property name="can-focus">True</property>
	165	<property name="halign">end</property>
	166	<property name="valign">center</property>
	167	</object>
	168	<packing>
	169	<property name="left-attach">1</property>
	170	<property name="top-attach">1</property>
	171	</packing>
	172	</child>
	173	<child>
	174	<object class="GtkSwitch" id="toggle_show_in_overview">
	175	<property name="visible">True</property>
	176	<property name="can-focus">True</property>
	177	<property name="halign">end</property>
	178	<property name="valign">center</property>
	179	</object>
	180	<packing>
	181	<property name="left-attach">1</property>
	182	<property name="top-attach">2</property>
	183	</packing>
	184	</child>
	185	<child>
	186	<object class="GtkSwitch" id="toggle_hot_corner">
	187	<property name="visible">True</property>
	188	<property name="can-focus">True</property>
	189	<property name="halign">end</property>
	190	<property name="valign">center</property>
	191	</object>
	192	<packing>
	193	<property name="left-attach">1</property>
	194	<property name="top-attach">3</property>
	195	</packing>
	196	</child>
	197	<child>
	198	<object class="GtkSwitch" id="toggle_mouse_triggers_overview">
	199	<property name="visible">True</property>
	200	<property name="can-focus">True</property>
	201	<property name="halign">end</property>
	202	<property name="valign">center</property>
	203	</object>
	204	<packing>
	205	<property name="left-attach">1</property>
	206	<property name="top-attach">4</property>
	207	</packing>
	208	</child>
	209	<child>
	210	<object class="GtkSpinButton" id="spin_pressure_threshold">
	211	<property name="visible">True</property>
	212	<property name="can-focus">True</property>
	213	<property name="halign">end</property>
	214	<property name="valign">center</property>
	215	<property name="adjustment">adjust_pressure_threshold</property>
	216	</object>
	217	<packing>
	218	<property name="left-attach">1</property>
	219	<property name="top-attach">5</property>
	220	</packing>
	221	</child>
	222	<child>
	223	<object class="GtkSpinButton" id="spin_pressure_timeout">
	224	<property name="visible">True</property>
	225	<property name="can-focus">True</property>
	226	<property name="halign">end</property>
	227	<property name="valign">center</property>
	228	<property name="adjustment">adjust_pressure_timeout</property>
	229	</object>
	230	<packing>
	231	<property name="left-attach">1</property>
	232	<property name="top-attach">6</property>
	233	</packing>
	234	</child>
	235	</object>
	236	<packing>
	237	<property name="tab-expand">True</property>
	238	</packing>
	239	</child>
	240	<child type="tab">
	241	<object class="GtkLabel">
	242	<property name="visible">True</property>
	243	<property name="can-focus">False</property>
	244	<property name="label" translatable="yes">Sensitivity</property>
	245	</object>
	246	<packing>
	247	<property name="tab-fill">False</property>
	248	</packing>
	249	</child>
	250	<child>
	251	<!-- n-columns=2 n-rows=2 -->
	252	<object class="GtkGrid">
	253	<property name="visible">True</property>
	254	<property name="can-focus">False</property>
	255	<property name="margin-start">5</property>
	256	<property name="margin-end">5</property>
	257	<property name="margin-top">10</property>
	258	<property name="margin-bottom">5</property>
	259	<property name="row-spacing">10</property>
	260	<property name="column-spacing">10</property>
	261	<child>
	262	<object class="GtkLabel">
	263	<property name="visible">True</property>
	264	<property name="can-focus">False</property>
	265	<property name="halign">start</property>
	266	<property name="hexpand">True</property>
	267	<property name="label" translatable="yes">Slide animation time when entering/leaving overview:</property>
	268	</object>
	269	<packing>
	270	<property name="left-attach">0</property>
	271	<property name="top-attach">0</property>
	272	</packing>
	273	</child>
	274	<child>
	275	<object class="GtkLabel">
	276	<property name="visible">True</property>
	277	<property name="can-focus">False</property>
	278	<property name="halign">start</property>
	279	<property name="hexpand">True</property>
	280	<property name="label" translatable="yes">Slide animation time when mouse approaches edge of the screen:</property>
	281	</object>
	282	<packing>
	283	<property name="left-attach">0</property>
	284	<property name="top-attach">1</property>
	285	</packing>
	286	</child>
	287	<child>
	288	<object class="GtkSpinButton" id="spin_animation_time_overview">
	289	<property name="visible">True</property>
	290	<property name="can-focus">True</property>
	291	<property name="halign">end</property>
	292	<property name="valign">center</property>
	293	<property name="adjustment">adjust_animation_time_overview</property>
	294	<property name="digits">1</property>
	295	</object>
	296	<packing>
	297	<property name="left-attach">1</property>
	298	<property name="top-attach">0</property>
	299	</packing>
	300	</child>
	301	<child>
	302	<object class="GtkSpinButton" id="spin_animation_time_autohide">
	303	<property name="visible">True</property>
	304	<property name="can-focus">True</property>
	305	<property name="halign">end</property>
	306	<property name="valign">center</property>
	307	<property name="adjustment">adjust_animation_time_autohide</property>
	308	<property name="digits">1</property>
	309	</object>
	310	<packing>
	311	<property name="left-attach">1</property>
	312	<property name="top-attach">1</property>
	313	</packing>
	314	</child>
	315	</object>
	316	<packing>
	317	<property name="position">1</property>
	318	<property name="tab-expand">True</property>
	319	</packing>
	320	</child>
	321	<child type="tab">
	322	<object class="GtkLabel">
	323	<property name="visible">True</property>
	324	<property name="can-focus">False</property>
	325	<property name="label" translatable="yes">Animation</property>
	326	</object>
	327	<packing>
	328	<property name="position">1</property>
	329	<property name="tab-fill">False</property>
	330	</packing>
	331	</child>
	332	<child>
	333	<!-- n-columns=2 n-rows=3 -->
	334	<object class="GtkGrid">
	335	<property name="visible">True</property>
	336	<property name="can-focus">False</property>
	337	<property name="margin-start">5</property>
	338	<property name="margin-end">5</property>
	339	<property name="margin-top">10</property>
	340	<property name="margin-bottom">5</property>
	341	<property name="row-spacing">10</property>
	342	<property name="column-spacing">10</property>
	343	<child>
	344	<object class="GtkLabel">
	345	<property name="visible">True</property>
	346	<property name="can-focus">False</property>
	347	<property name="halign">start</property>
	348	<property name="valign">center</property>
	349	<property name="hexpand">True</property>
	350	<property name="label" translatable="yes">Key that triggers the bar to be shown:</property>
	351	</object>
	352	<packing>
	353	<property name="left-attach">0</property>
	354	<property name="top-attach">0</property>
	355	</packing>
	356	</child>
	357	<child>
	358	<object class="GtkLabel">
	359	<property name="visible">True</property>
	360	<property name="can-focus">False</property>
	361	<property name="halign">start</property>
	362	<property name="valign">center</property>
	363	<property name="hexpand">True</property>
	364	<property name="label" translatable="yes">Delay before the bar rehides after key press:</property>
	365	</object>
	366	<packing>
	367	<property name="left-attach">0</property>
	368	<property name="top-attach">1</property>
	369	</packing>
	370	</child>
	371	<child>
	372	<object class="GtkLabel">
	373	<property name="visible">True</property>
	374	<property name="can-focus">False</property>
	375	<property name="halign">start</property>
	376	<property name="valign">center</property>
	377	<property name="hexpand">True</property>
	378	<property name="label" translatable="yes">Pressing the shortcut again rehides the panel</property>
	379	</object>
	380	<packing>
	381	<property name="left-attach">0</property>
	382	<property name="top-attach">2</property>
	383	</packing>
	384	</child>
	385	<child>
	386	<object class="GtkTreeView">
	387	<property name="visible">True</property>
	388	<property name="can-focus">True</property>
	389	<property name="model">store_shortcut_keybind</property>
	390	<property name="headers-visible">False</property>
	391	<property name="enable-search">False</property>
	392	<property name="show-expanders">False</property>
	393	<child internal-child="selection">
	394	<object class="GtkTreeSelection"/>
	395	</child>
	396	<child>
	397	<object class="GtkTreeViewColumn">
	398	<property name="min-width">200</property>
	399	<property name="title" translatable="no">column</property>
	400	<property name="sort-column-id">0</property>
	401	<child>
	402	<object class="GtkCellRendererAccel" id="accel_shortcut_keybind">
	403	<property name="editable">True</property>
	404	</object>
	405	<attributes>
	406	<attribute name="accel-key">1</attribute>
	407	<attribute name="accel-mods">0</attribute>
	408	</attributes>
	409	</child>
	410	</object>
	411	</child>
	412	</object>
	413	<packing>
	414	<property name="left-attach">1</property>
	415	<property name="top-attach">0</property>
	416	</packing>
	417	</child>
	418	<child>
	419	<object class="GtkSpinButton" id="spin_shortcut_delay">
	420	<property name="visible">True</property>
	421	<property name="can-focus">True</property>
	422	<property name="halign">end</property>
	423	<property name="valign">center</property>
	424	<property name="adjustment">adjust_shortcut_delay</property>
	425	<property name="digits">1</property>
	426	</object>
	427	<packing>
	428	<property name="left-attach">1</property>
	429	<property name="top-attach">1</property>
	430	</packing>
	431	</child>
	432	<child>
	433	<object class="GtkSwitch" id="toggle_shortcut_toggles">
	434	<property name="visible">True</property>
	435	<property name="can-focus">True</property>
	436	<property name="halign">end</property>
	437	<property name="valign">center</property>
	438	</object>
	439	<packing>
	440	<property name="left-attach">1</property>
	441	<property name="top-attach">2</property>
	442	</packing>
	443	</child>
	444	</object>
	445	<packing>
	446	<property name="position">2</property>
	447	</packing>
	448	</child>
	449	<child type="tab">
	450	<object class="GtkLabel">
	451	<property name="visible">True</property>
	452	<property name="can-focus">False</property>
	453	<property name="label" translatable="yes">Keyboard shortcuts</property>
	454	</object>
	455	<packing>
	456	<property name="position">3</property>
	457	<property name="tab-fill">False</property>
	458	</packing>
	459	</child>
	460	<child>
	461	<!-- n-columns=2 n-rows=2 -->
	462	<object class="GtkGrid">
	463	<property name="visible">True</property>
	464	<property name="can-focus">False</property>
	465	<property name="margin-start">5</property>
	466	<property name="margin-end">5</property>
	467	<property name="margin-top">10</property>
	468	<property name="margin-bottom">5</property>
	469	<property name="row-spacing">10</property>
	470	<property name="column-spacing">10</property>
	471	<child>
	472	<object class="GtkLabel">
	473	<property name="visible">True</property>
	474	<property name="can-focus">False</property>
	475	<property name="halign">start</property>
	476	<property name="valign">center</property>
	477	<property name="hexpand">True</property>
	478	<property name="label" translatable="yes">Only hide panel when a window takes the space</property>
	479	</object>
	480	<packing>
	481	<property name="left-attach">0</property>
	482	<property name="top-attach">0</property>
	483	</packing>
	484	</child>
	485	<child>
	486	<object class="GtkLabel">
	487	<property name="visible">True</property>
	488	<property name="can-focus">False</property>
	489	<property name="halign">start</property>
	490	<property name="valign">center</property>
	491	<property name="hexpand">True</property>
	492	<property name="label" translatable="yes">Only when the active window takes the space</property>
	493	</object>
	494	<packing>
	495	<property name="left-attach">0</property>
	496	<property name="top-attach">1</property>
	497	</packing>
	498	</child>
	499	<child>
	500	<object class="GtkSwitch" id="toggle_enable_intellihide">
	501	<property name="visible">True</property>
	502	<property name="can-focus">True</property>
	503	<property name="halign">end</property>
	504	<property name="valign">center</property>
	505	</object>
	506	<packing>
	507	<property name="left-attach">1</property>
	508	<property name="top-attach">0</property>
	509	</packing>
	510	</child>
	511	<child>
	512	<object class="GtkSwitch" id="toggle_enable_active_window">
	513	<property name="visible">True</property>
	514	<property name="can-focus">True</property>
	515	<property name="halign">end</property>
	516	<property name="valign">center</property>
	517	</object>
	518	<packing>
	519	<property name="left-attach">1</property>
	520	<property name="top-attach">1</property>
	521	</packing>
	522	</child>
	523	</object>
	524	<packing>
	525	<property name="position">3</property>
	526	</packing>
	527	</child>
	528	<child type="tab">
	529	<object class="GtkLabel">
	530	<property name="visible">True</property>
	531	<property name="can-focus">False</property>
	532	<property name="label" translatable="yes">Intellihide</property>
	533	</object>
	534	<packing>
	535	<property name="position">3</property>
	536	<property name="tab-fill">False</property>
	537	</packing>
	538	</child>
	539	</object>
	540	</interface>

-4

intellihide.js less more

82	82
83	83	this._checkOverlapTimeoutContinue = false;
84	84	this._checkOverlapTimeoutId = 0;
85
	85
86	86	this._trackedWindows = new Map();
87	87
88	88	// Connect global signals

263	263
264	264	// Check if notification banner overlaps
265	265	if (Main.messageTray.visible) {
266		let rect = Main.messageTray.get_allocation_box(),
267		test = (rect.x1 < this._targetBox.x2) &&
	266	let rect = Main.messageTray._bannerBin.get_allocation_box();
	267	let test = (rect.x1 < this._targetBox.x2) &&
268	268	(rect.x2 > this._targetBox.x1) &&
269	269	(rect.y1 < this._targetBox.y2) &&
270	270	(rect.y2 > this._targetBox.y1);
271
272	271	if (test) overlaps = OverlapStatus.TRUE;
273	272	}
274	273

+43

-39

locale/ca/LC_MESSAGES/hidetopbar.po less more

6	6	msgstr ""
7	7	"Project-Id-Version: \n"
8	8	"Report-Msgid-Bugs-To: \n"
9		"POT-Creation-Date: 2020-05-22 10:57+0200\n"
10		"PO-Revision-Date: 2020-05-27 18:51+0200\n"
	9	"POT-Creation-Date: 2021-02-27 20:17+0100\n"
	10	"PO-Revision-Date: 2021-03-10 16:42+0100\n"
11	11	"Last-Translator: \n"
12	12	"Language-Team: \n"
13	13	"Language: ca\n"
14	14	"MIME-Version: 1.0\n"
15	15	"Content-Type: text/plain; charset=UTF-8\n"
16	16	"Content-Transfer-Encoding: 8bit\n"
17		"X-Generator: Poedit 2.3\n"
	17	"X-Generator: Poedit 2.0.6\n"
18	18	"Plural-Forms: nplurals=2; plural=(n != 1);\n"
19	19
20		#: prefs.js:39
21		msgid "<b>Sensitivity</b>"
22		msgstr "<b>Sensibilitat</b>"
23
24		#: prefs.js:46
	20	#: Settings.ui.h:1
25	21	msgid "Show panel when mouse approaches edge of the screen"
26	22	msgstr "Mostra la barra quan el ratolí s'apropi a la vora de la pantalla."
27	23
28		#: prefs.js:47
29		msgid "In the above case, also show panel when fullscreen."
	24	#: Settings.ui.h:2
	25	msgid "In the above case, also show panel when fullscreen"
30	26	msgstr "En el cas anterior, mostra també la barra en pantalla completa."
31	27
32		#: prefs.js:48
	28	#: Settings.ui.h:3
	29	msgid "Show panel in overview"
	30	msgstr "Mostra la barra a la vista general."
	31
	32	#: Settings.ui.h:4
33	33	msgid "Keep hot corner sensitive, even in hidden state"
34	34	msgstr "Mantén el cantó actiu sensible, fins i tot en mode ocult."
35	35
36		#: prefs.js:49
	36	#: Settings.ui.h:5
37	37	msgid "In the above case show overview, too"
38	38	msgstr "En el cas anterior, mostra també la vista general."
39	39
40		#: prefs.js:74
41		msgid "Pressure barrier's threshold."
	40	#: Settings.ui.h:6
	41	msgid "Pressure barrier's threshold:"
42	42	msgstr "Llindar de la pressió:"
43	43
44		#: prefs.js:75
45		msgid "Pressure barrier's timeout."
	44	#: Settings.ui.h:7
	45	msgid "Pressure barrier's timeout:"
46	46	msgstr "Temps d'espera de la pressió:"
47	47
48		#: prefs.js:104
49		msgid "<b>Animation</b>"
50		msgstr "<b>Animació</b>"
	48	#: Settings.ui.h:8
	49	msgid "Sensitivity"
	50	msgstr "Sensibilitat"
51	51
52		#: prefs.js:111
53		msgid "Slide animation time when entering/leaving overview."
54		msgstr "Durada de l'animació lliscant en entrar o sortir de la vista general:"
	52	#: Settings.ui.h:9
	53	msgid "Slide animation time when entering/leaving overview:"
	54	msgstr "Durada de l'animació en entrar o sortir de la vista general:"
55	55
56		#: prefs.js:112
57		msgid "Slide animation time when mouse approaches edge of the screen."
	56	#: Settings.ui.h:10
	57	msgid "Slide animation time when mouse approaches edge of the screen:"
58	58	msgstr "Durada de l'animació quan el ratolí s'apropi a la vora de la pantalla:"
59	59
60		#: prefs.js:141
61		msgid "<b>Keyboard shortcuts</b>"
62		msgstr "<b>Dreceres del teclat</b>"
	60	#: Settings.ui.h:11
	61	msgid "Animation"
	62	msgstr "Animació"
63	63
64		#: prefs.js:203
65		msgid "Key that triggers the bar to be shown."
	64	#: Settings.ui.h:12
	65	msgid "Key that triggers the bar to be shown:"
66	66	msgstr "Tecla que fa que la barra es mostri:"
67	67
68		#: prefs.js:223
69		msgid "Delay before the bar rehides after key press."
70		msgstr "Retard de la reocultació de la barra després de prémer una tecla:"
	68	#: Settings.ui.h:13
	69	msgid "Delay before the bar rehides after key press:"
	70	msgstr "Retard de l'ocultació de la barra després de prémer una tecla:"
71	71
72		#: prefs.js:239
73		msgid "Pressing the shortcut again rehides the panel."
	72	#: Settings.ui.h:14
	73	msgid "Pressing the shortcut again rehides the panel"
74	74	msgstr "Tornar a prémer la drecera torna a ocultar la barra."
75	75
76		#: prefs.js:268
77		msgid "<b>Intellihide</b>"
78		msgstr "<b>Ocultació intel·ligent</b>"
	76	#: Settings.ui.h:15
	77	msgid "Keyboard shortcuts"
	78	msgstr "Dreceres del teclat"
79	79
80		#: prefs.js:275
	80	#: Settings.ui.h:16
81	81	msgid "Only hide panel when a window takes the space"
82	82	msgstr "Oculta la barra només quan una finestra n'ocupi l'espai."
83	83
84		#: prefs.js:276
	84	#: Settings.ui.h:17
85	85	msgid "Only when the active window takes the space"
86	86	msgstr "Oculta la barra només quan la finestra activa n'ocupi l'espai."
	87
	88	#: Settings.ui.h:18
	89	msgid "Intellihide"
	90	msgstr "Ocultació intel·ligent"

+12

-8

locale/de/LC_MESSAGES/hidetopbar.po less more

20	20	"Plural-Forms: nplurals=2; plural=(n != 1);\n"
21	21
22	22	#: prefs.js:39 prefs.js:57
23		msgid "<b>Sensitivity</b>"
24		msgstr "<b>Berührungsempfindlichkeit</b>"
	23	msgid "Sensitivity"
	24	msgstr "Berührungsempfindlichkeit"
25	25
26	26	#: prefs.js:46 prefs.js:64
27	27	msgid "Show panel when mouse approaches edge of the screen"

30	30	#: prefs.js:47
31	31	msgid "In the above case, also show panel when fullscreen."
32	32	msgstr "In diesem Fall auch das Panel im Vollbildmodus aneigen."
	33
	34	#: Settings.ui.h:3
	35	msgid "Show panel in overview"
	36	msgstr "Panel in der Übersicht anzeigen"
33	37
34	38	#: prefs.js:48 prefs.js:66
35	39	msgid "Keep hot corner sensitive, even in hidden state"

48	52	msgstr "Time-Out der Druckempfindlichkeit."
49	53
50	54	#: prefs.js:104 prefs.js:122
51		msgid "<b>Animation</b>"
52		msgstr "<b>Animation</b>"
	55	msgid "Animation"
	56	msgstr "Animation"
53	57
54	58	#: prefs.js:111
55	59	msgid "Slide animation time when entering/leaving overview."

60	64	msgstr "Animationszeit, wenn die Maus den Bildschirmrand berührt."
61	65
62	66	#: prefs.js:141 prefs.js:159
63		msgid "<b>Keyboard shortcuts</b>"
64		msgstr "<b>Tastaturkürzel</b>"
	67	msgid "Keyboard shortcuts"
	68	msgstr "Tastaturkürzel"
65	69
66	70	#: prefs.js:203
67	71	msgid "Key that triggers the bar to be shown."

78	82	msgstr "Erneutes Drücken des Tastenkürzels versteckt die Leiste wieder."
79	83
80	84	#: prefs.js:268 prefs.js:286
81		msgid "<b>Intellihide</b>"
82		msgstr "<b>Intelligentes Ausblenden</b>"
	85	msgid "Intellihide"
	86	msgstr "Intelligentes Ausblenden"
83	87
84	88	#: prefs.js:275 prefs.js:293
85	89	msgid "Only hide panel when a window takes the space"

-8

locale/fr/LC_MESSAGES/hidetopbar.po less more

18	18	"X-Poedit-SourceCharset: UTF-8\n"
19	19
20	20	#: prefs.js:20
21		msgid "<b>Sensitivity</b>"
22		msgstr "<b>Comportement, Sensibilité</b>"
	21	msgid "Sensitivity"
	22	msgstr "Comportement, Sensibilité"
23	23
24	24	#: prefs.js:27
25	25	msgid "Show panel when mouse approaches edge of the screen"

42	42	msgstr "Délai de pression "
43	43
44	44	#: prefs.js:82
45		msgid "<b>Animation</b>"
46		msgstr "<b>Animation</b>"
	45	msgid "Animation"
	46	msgstr "Animation"
47	47
48	48	#: prefs.js:89
49	49	msgid "Slide animation time when entering/leaving overview."

55	55
56	56
57	57	#: prefs.js:130
58		msgid "<b>Keyboard shortcuts</b>"
59		msgstr "<b>Raccourcis clavier</b>"
	58	msgid "Keyboard shortcuts"
	59	msgstr "Raccourcis clavier"
60	60
61	61	#: prefs.js:194
62	62	msgid "Key that triggers the bar to be shown."

71	71	msgstr "Appuyer à nouveau sur la touche remasque la barre supérieure"
72	72
73	73	#: prefs.js:261
74		msgid "<b>Intellihide</b>"
75		msgstr "<b>Masquage intelligent</b>"
	74	msgid "Intellihide"
	75	msgstr "Masquage intelligent"
76	76
77	77	#: prefs.js:268
78	78	msgid "Only hide panel when a window takes the space"

+28

-24

locale/hidetopbar.pot less more

7	7	msgstr ""
8	8	"Project-Id-Version: PACKAGE VERSION\n"
9	9	"Report-Msgid-Bugs-To: \n"
10		"POT-Creation-Date: 2020-09-21 18:39+0200\n"
	10	"POT-Creation-Date: 2021-02-27 20:17+0100\n"
11	11	"PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
12	12	"Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
13	13	"Language-Team: LANGUAGE <LL@li.org>\n"

16	16	"Content-Type: text/plain; charset=CHARSET\n"
17	17	"Content-Transfer-Encoding: 8bit\n"
18	18
19		#: prefs.js:57
20		msgid "<b>Sensitivity</b>"
21		msgstr ""
22
23		#: prefs.js:64
	19	#: Settings.ui.h:1
24	20	msgid "Show panel when mouse approaches edge of the screen"
25	21	msgstr ""
26	22
27		#: prefs.js:65
	23	#: Settings.ui.h:2
28	24	msgid "In the above case, also show panel when fullscreen"
29	25	msgstr ""
30	26
31		#: prefs.js:66
	27	#: Settings.ui.h:3
	28	msgid "Show panel in overview"
	29	msgstr ""
	30
	31	#: Settings.ui.h:4
32	32	msgid "Keep hot corner sensitive, even in hidden state"
33	33	msgstr ""
34	34
35		#: prefs.js:67
	35	#: Settings.ui.h:5
36	36	msgid "In the above case show overview, too"
37	37	msgstr ""
38	38
39		#: prefs.js:92
	39	#: Settings.ui.h:6
40	40	msgid "Pressure barrier's threshold:"
41	41	msgstr ""
42	42
43		#: prefs.js:93
	43	#: Settings.ui.h:7
44	44	msgid "Pressure barrier's timeout:"
45	45	msgstr ""
46	46
47		#: prefs.js:122
48		msgid "<b>Animation</b>"
	47	#: Settings.ui.h:8
	48	msgid "Sensitivity"
49	49	msgstr ""
50	50
51		#: prefs.js:129
	51	#: Settings.ui.h:9
52	52	msgid "Slide animation time when entering/leaving overview:"
53	53	msgstr ""
54	54
55		#: prefs.js:130
	55	#: Settings.ui.h:10
56	56	msgid "Slide animation time when mouse approaches edge of the screen:"
57	57	msgstr ""
58	58
59		#: prefs.js:159
60		msgid "<b>Keyboard shortcuts</b>"
	59	#: Settings.ui.h:11
	60	msgid "Animation"
61	61	msgstr ""
62	62
63		#: prefs.js:221
	63	#: Settings.ui.h:12
64	64	msgid "Key that triggers the bar to be shown:"
65	65	msgstr ""
66	66
67		#: prefs.js:241
	67	#: Settings.ui.h:13
68	68	msgid "Delay before the bar rehides after key press:"
69	69	msgstr ""
70	70
71		#: prefs.js:257
	71	#: Settings.ui.h:14
72	72	msgid "Pressing the shortcut again rehides the panel"
73	73	msgstr ""
74	74
75		#: prefs.js:286
76		msgid "<b>Intellihide</b>"
	75	#: Settings.ui.h:15
	76	msgid "Keyboard shortcuts"
77	77	msgstr ""
78	78
79		#: prefs.js:293
	79	#: Settings.ui.h:16
80	80	msgid "Only hide panel when a window takes the space"
81	81	msgstr ""
82	82
83		#: prefs.js:294
	83	#: Settings.ui.h:17
84	84	msgid "Only when the active window takes the space"
85	85	msgstr ""
	86
	87	#: Settings.ui.h:18
	88	msgid "Intellihide"
	89	msgstr ""

-8

locale/it_IT/LC_MESSAGES/hidetopbar.po less more

18	18	"Language: it_IT\n"
19	19
20	20	#: prefs.js:26
21		msgid "<b>Sensitivity</b>"
22		msgstr "<b>Sensibilità</b>"
	21	msgid "Sensitivity"
	22	msgstr "Sensibilità"
23	23
24	24	#: prefs.js:33
25	25	msgid "Show panel when mouse approaches edge of the screen"

42	42	msgstr "Timeout di pressione della barriera."
43	43
44	44	#: prefs.js:92
45		msgid "<b>Animation</b>"
46		msgstr "<b>Animazione</b>"
	45	msgid "Animation"
	46	msgstr "Animazione"
47	47
48	48	#: prefs.js:99
49	49	msgid "Slide animation time when entering/leaving overview."

54	54	msgstr "Tempo di animazione quando il mouse si avvicina al bordo dello schermo."
55	55
56	56	#: prefs.js:130
57		msgid "<b>Keyboard shortcuts</b>"
58		msgstr "<b>Scorciatoie da Tastiera</b>"
	57	msgid "Keyboard shortcuts"
	58	msgstr "Scorciatoie da Tastiera"
59	59
60	60	#: prefs.js:194
61	61	msgid "Key that triggers the bar to be shown."

70	70	msgstr "Premere la scorciatoia nuovamente ri-nasconde il pannello."
71	71
72	72	#: prefs.js:261
73		msgid "<b>Intellihide</b>"
74		msgstr "<b>Nascondi Automaticamente</b>"
	73	msgid "Intellihide"
	74	msgstr "Nascondi Automaticamente"
75	75
76	76	#: prefs.js:268
77	77	msgid "Only hide panel when a window takes the space"

-8

locale/pl/LC_MESSAGES/hidetopbar.po less more

19	19	"X-Generator: Gtranslator 2.91.7\n"
20	20
21	21	#: prefs.js:26
22		msgid "<b>Sensitivity</b>"
23		msgstr "<b>Czułość</b>"
	22	msgid "Sensitivity"
	23	msgstr "Czułość"
24	24
25	25	#: prefs.js:33
26	26	msgid "Show panel when mouse approaches edge of the screen"

43	43	msgstr "Czas nacisku"
44	44
45	45	#: prefs.js:92
46		msgid "<b>Animation</b>"
47		msgstr "<b>Animacja</b>"
	46	msgid "Animation"
	47	msgstr "Animacja"
48	48
49	49	#: prefs.js:99
50	50	msgid "Slide animation time when entering/leaving overview."

55	55	msgstr "Czas animacji wysuwania przenosząc wskaźnik do krawędzi ekranu"
56	56
57	57	#: prefs.js:130
58		msgid "<b>Keyboard shortcuts</b>"
59		msgstr "<b>Skróty klawiszowe</b>"
	58	msgid "Keyboard shortcuts"
	59	msgstr "Skróty klawiszowe"
60	60
61	61	#: prefs.js:194
62	62	msgid "Key that triggers the bar to be shown."

71	71	msgstr "Ponowne ukrywanie panelu wciśnięciem skrótu"
72	72
73	73	#: prefs.js:261
74		msgid "<b>Intellihide</b>"
75		msgstr "<b>Inteligentne ukrywanie</b>"
	74	msgid "Intellihide"
	75	msgstr "Inteligentne ukrywanie"
76	76
77	77	#: prefs.js:268
78	78	msgid "Only hide panel when a window takes the space"

+46

-41

locale/pt_BR/LC_MESSAGES/hidetopbar.po less more

0	0	# Brazilian Portuguese translation for hidetopbar
1		# Copyright (C) 2020 THE PACKAGE'S COPYRIGHT HOLDER
2		# This file is distributed under the same license as the hidetopbar package.
3		# Marcos Nascimento <wstlmn@uol.com.br>, 2017.
	1	# Copyright (C) 2017 THE PACKAGE'S COPYRIGHT HOLDER
	2	# This file is distributed under the same license as the PACKAGE package.
	3	# Marcos M Nascimento <wstl@bol.com.br>, 2017.
4	4	# Rafael Fontenelle <rafaelff@gnome.org>, 2020.
	5	# Marcos M Nascimento <wstl@bol.com.br>, 2021.
5	6	#
6	7	msgid ""
7	8	msgstr ""
8	9	"Project-Id-Version: hidetopbar\n"
9	10	"Report-Msgid-Bugs-To: https://github.com/mlutfy/hidetopbar/issues\n"
10		"POT-Creation-Date: 2020-06-27 21:18-0300\n"
11		"PO-Revision-Date: 2020-06-27 21:24-0300\n"
12		"Last-Translator: Rafael Fontenelle <rafaelff@gnome.org>\n"
13		"Language-Team: Brazilian Portuguese\n"
	11	"POT-Creation-Date: 2021-02-27 20:17+0100\n"
	12	"PO-Revision-Date: 2021-03-07 22:29-0300\n"
	13	"Last-Translator: Marcos M Nascimento <wstl@bol.com.br>\n"
	14	"Language-Team: Portuguese <wstl@bol.com.br>\n"
14	15	"Language: pt_BR\n"
15	16	"MIME-Version: 1.0\n"
16	17	"Content-Type: text/plain; charset=UTF-8\n"
17	18	"Content-Transfer-Encoding: 8bit\n"
18		"X-Generator: Gtranslator 3.36.0\n"
19		"Plural-Forms: nplurals=2; plural=(n > 1)\n"
	19	"Plural-Forms: nplurals=2;plural=(n>1);\n"
	20	"X-Generator: Gtranslator 3.38.0\n"
20	21
21		#: prefs.js:57
22		msgid "<b>Sensitivity</b>"
23		msgstr "<b>Sensibilidade</b>"
	22	#: Settings.ui.h:1
	23	msgid "Show panel when mouse approaches edge of the screen"
	24	msgstr "Mostrar o painel quando o mouse aproximar da borda da tela"
24	25
25		#: prefs.js:64
26		msgid "Show panel when mouse approaches edge of the screen"
27		msgstr "Mostrar painel quando o mouse se aproximar da borda da tela"
28
29		#: prefs.js:65
	26	#: Settings.ui.h:2
30	27	msgid "In the above case, also show panel when fullscreen"
31	28	msgstr "No caso acima, também mostrar o painel quando em tela cheia"
32	29
33		#: prefs.js:66
	30	#: Settings.ui.h:3
	31	msgid "Show panel in overview"
	32	msgstr "Mostrar o painel em visão geral"
	33
	34	#: Settings.ui.h:4
34	35	msgid "Keep hot corner sensitive, even in hidden state"
35		msgstr "Manter o canto responsivo, mesmo no estado oculto"
	36	msgstr "Manter o canto responsivo, mesmo quando oculto"
36	37
37		#: prefs.js:67
	38	#: Settings.ui.h:5
38	39	msgid "In the above case show overview, too"
39	40	msgstr "No caso acima, também mostrar o panorama de atividades"
40	41
41		#: prefs.js:92
	42	#: Settings.ui.h:6
42	43	msgid "Pressure barrier's threshold:"
43	44	msgstr "Limiar da barreira de pressão:"
44	45
45		#: prefs.js:93
	46	#: Settings.ui.h:7
46	47	msgid "Pressure barrier's timeout:"
47	48	msgstr "Tempo limite da barreira de pressão:"
48	49
49		#: prefs.js:122
50		msgid "<b>Animation</b>"
51		msgstr "<b>Animação</b>"
	50	#: Settings.ui.h:8
	51	msgid "Sensitivity"
	52	msgstr "Sensibilidade"
52	53
53		#: prefs.js:129
	54	#: Settings.ui.h:9
54	55	msgid "Slide animation time when entering/leaving overview:"
55	56	msgstr "Tempo de animação ao entrar/sair do panorama de atividades:"
56	57
57		#: prefs.js:130
	58	#: Settings.ui.h:10
58	59	msgid "Slide animation time when mouse approaches edge of the screen:"
59	60	msgstr "Tempo de animação quando o mouse se aproximar da borda da tela:"
60	61
61		#: prefs.js:159
62		msgid "<b>Keyboard shortcuts</b>"
63		msgstr "<b>Atalhos de teclado</b>"
	62	#: Settings.ui.h:11
	63	msgid "Animation"
	64	msgstr "Animação"
64	65
65		#: prefs.js:221
	66	#: Settings.ui.h:12
66	67	msgid "Key that triggers the bar to be shown:"
67		msgstr "Tecla que aciona a barra a ser mostrada:"
	68	msgstr "Atalho para mostrar o painel:"
68	69
69		#: prefs.js:241
	70	#: Settings.ui.h:13
70	71	msgid "Delay before the bar rehides after key press:"
71		msgstr "Atraso até a barra ocultar novamente após pressionar tecla:"
	72	msgstr "Tempo até a barra ocultar após pressionar o atalho:"
72	73
73		#: prefs.js:257
	74	#: Settings.ui.h:14
74	75	msgid "Pressing the shortcut again rehides the panel"
75	76	msgstr "Pressionar o atalho novamente oculta o painel"
76	77
77		#: prefs.js:286
78		msgid "<b>Intellihide</b>"
79		msgstr "<b>Ação inteligente</b>"
	78	#: Settings.ui.h:15
	79	msgid "Keyboard shortcuts"
	80	msgstr "Atalhos do teclado"
80	81
81		#: prefs.js:293
	82	#: Settings.ui.h:16
82	83	msgid "Only hide panel when a window takes the space"
83	84	msgstr "Somente ocultar quando a janela ocupar o espaço"
84	85
85		#: prefs.js:294
	86	#: Settings.ui.h:17
86	87	msgid "Only when the active window takes the space"
87		msgstr "Somente ocultar quando a janela ativa ocupar o espaço"
	88	msgstr "omente ocultar quando a janela ativa ocupar o espaço"
	89
	90	#: Settings.ui.h:18
	91	msgid "Intellihide"
	92	msgstr "Ação inteligente"

+95

-0

locale/ru_RU/LC_MESSAGES/hidetopbar.po less more

	0	# SOME DESCRIPTIVE TITLE.
	1	# Copyright (C) YEAR THE PACKAGE'S COPYRIGHT HOLDER
	2	# This file is distributed under the same license as the PACKAGE package.
	3	# FIRST AUTHOR <EMAIL@ADDRESS>, YEAR.
	4	# nz, 2021.
	5	#
	6	msgid ""
	7	msgstr ""
	8	"Project-Id-Version: hidetopbar\n"
	9	"Report-Msgid-Bugs-To: \n"
	10	"POT-Creation-Date: 2021-02-27 20:17+0100\n"
	11	"PO-Revision-Date: 2021-03-15 13:57+0300\n"
	12	"Last-Translator: nz\n"
	13	"Language-Team: \n"
	14	"Language: ru\n"
	15	"MIME-Version: 1.0\n"
	16	"Content-Type: text/plain; charset=UTF-8\n"
	17	"Content-Transfer-Encoding: 8bit\n"
	18	"Plural-Forms: nplurals=3; plural=(n%10==1 && n%100!=11 ? 0 : n%10>=2 && n"
	19	"%10<=4 && (n%100<10 \|\| n%100>=20) ? 1 : 2)\n"
	20	"X-Generator: Gtranslator 3.38.0\n"
	21
	22	#: Settings.ui.h:1
	23	msgid "Show panel when mouse approaches edge of the screen"
	24	msgstr "Показывать панель, когда мышь приближается к краю экрана"
	25
	26	#: Settings.ui.h:2
	27	msgid "In the above case, also show panel when fullscreen"
	28	msgstr ""
	29	"В приведенном выше случае также показывать панель в полноэкранном режиме"
	30
	31	#: Settings.ui.h:3
	32	msgid "Show panel in overview"
	33	msgstr "Показать панель в обзоре"
	34
	35	#: Settings.ui.h:4
	36	msgid "Keep hot corner sensitive, even in hidden state"
	37	msgstr ""
	38	"Сохранять чувствительность к \"горячему углу\", даже в скрытом состоянии"
	39
	40	#: Settings.ui.h:5
	41	msgid "In the above case show overview, too"
	42	msgstr "В приведенном выше случае также покажите обзор"
	43
	44	#: Settings.ui.h:6
	45	msgid "Pressure barrier's threshold:"
	46	msgstr "Порог барьера давления:"
	47
	48	#: Settings.ui.h:7
	49	msgid "Pressure barrier's timeout:"
	50	msgstr "Интервал барьера давления:"
	51
	52	#: Settings.ui.h:8
	53	msgid "Sensitivity"
	54	msgstr "Чувствительность"
	55
	56	#: Settings.ui.h:9
	57	msgid "Slide animation time when entering/leaving overview:"
	58	msgstr "Время анимации слайда при входе/выходе из обзора:"
	59
	60	#: Settings.ui.h:10
	61	msgid "Slide animation time when mouse approaches edge of the screen:"
	62	msgstr "Время анимации слайда, когда мышь приближается к краю экрана:"
	63
	64	#: Settings.ui.h:11
	65	msgid "Animation"
	66	msgstr "Анимация"
	67
	68	#: Settings.ui.h:12
	69	msgid "Key that triggers the bar to be shown:"
	70	msgstr "Ключ, запускающий отображение бара:"
	71
	72	#: Settings.ui.h:13
	73	msgid "Delay before the bar rehides after key press:"
	74	msgstr "Задержка перед повторным скрытием бара после нажатия клавиши:"
	75
	76	#: Settings.ui.h:14
	77	msgid "Pressing the shortcut again rehides the panel"
	78	msgstr "Нажатие клавиш скрывает панель заново"
	79
	80	#: Settings.ui.h:15
	81	msgid "Keyboard shortcuts"
	82	msgstr "Горячие клавиши"
	83
	84	#: Settings.ui.h:16
	85	msgid "Only hide panel when a window takes the space"
	86	msgstr "Скрывать панель только тогда, когда окно занимает пространство"
	87
	88	#: Settings.ui.h:17
	89	msgid "Only when the active window takes the space"
	90	msgstr "Только когда активное окно занимает пространство"
	91
	92	#: Settings.ui.h:18
	93	msgid "Intellihide"
	94	msgstr "Интеллектуальное скрытие"

-8

locale/zh_CN/LC_MESSAGES/hidetopbar.po less more

20	20	"Plural-Forms: nplurals=1; plural=0;\n"
21	21
22	22	#: prefs.js:26
23		msgid "<b>Sensitivity</b>"
24		msgstr "<b>敏感性</b>"
	23	msgid "Sensitivity"
	24	msgstr "敏感性"
25	25
26	26	#: prefs.js:33
27	27	msgid "Show panel when mouse approaches edge of the screen"

44	44	msgstr "压力屏障超时时间"
45	45
46	46	#: prefs.js:92
47		msgid "<b>Animation</b>"
48		msgstr "<b>动画效果</b>"
	47	msgid "Animation"
	48	msgstr "动画效果"
49	49
50	50	#: prefs.js:99
51	51	msgid "Slide animation time when entering/leaving overview."

56	56	msgstr "鼠标靠近屏幕上边沿时面板滑动的动画时间"
57	57
58	58	#: prefs.js:130
59		msgid "<b>Keyboard shortcuts</b>"
60		msgstr "<b>键盘快捷键</b>"
	59	msgid "Keyboard shortcuts"
	60	msgstr "键盘快捷键"
61	61
62	62	#: prefs.js:194
63	63	msgid "Key that triggers the bar to be shown."

72	72	msgstr "再次按下快捷键时重新隐藏面板"
73	73
74	74	#: prefs.js:261
75		msgid "<b>Intellihide</b>"
76		msgstr "<b>智能隐藏</b>"
	75	msgid "Intellihide"
	76	msgstr "智能隐藏"
77	77
78	78	#: prefs.js:268
79	79	msgid "Only hide panel when a window takes the space"

-1

metadata.json less more

0	0	{
1		"shell-version": ["3.32","3.34","3.36","3.38"],
	1	"shell-version": ["3.34","3.36","3.38","40"],
2	2	"uuid": "hidetopbar@mathieu.bidon.ca",
3	3	"name": "Hide Top Bar",
4	4	"settings-schema": "org.gnome.shell.extensions.hidetopbar",

-3

panelVisibilityManager.js less more

323	323
324	324	this._preventHide = !this._intellihide.getOverlapStatus();
325	325	let animTime = this._settings.get_double('animation-time-autohide');
326		if(this._preventHide)
327		this.show(animTime, "intellihide");
328		else if(!Main.overview.visible)
	326	if(this._preventHide) {
	327	if (this._showInOverview \|\| !Main.overview.visible)
	328	this.show(animTime, "intellihide");
	329	} else if(!Main.overview.visible)
329	330	this.hide(animTime, "intellihide");
330	331	}
331	332

+122

-242

prefs.js less more

33	33	}
34	34
35	35	function buildPrefsWidget() {
36		let frame = new Gtk.VBox({border_width: 10, spacing: 6}),
37		settings_vbox,
38		settings_array,
39		settings_onoff,
40		settings_hbox,
41		settings_spin,
42		model,
43		model_row,
44		binding,
	36	const isGtk4 = Gtk.get_major_version() >= '4';
	37
	38	let frame = new Gtk.ScrolledWindow(
	39	{ hscrollbar_policy: Gtk.PolicyType.NEVER });
	40	let builder = new Gtk.Builder();
	41	builder.set_translation_domain("hidetopbar");
	42	settingsPath = isGtk4 ? '/Settings-40.ui' : '/Settings.ui'
	43	builder.add_from_file(Me.path + settingsPath);
	44
	45	let notebook = builder.get_object("settings_notebook");
	46	if (isGtk4) {
	47	frame.set_child(notebook);
	48	} else {
	49	frame.add(notebook);
	50	}
	51
	52	/******************************************************************************
	53	************************************ Section Sensitivity *****************
	54	******************************************************************************/
	55
	56	['mouse-sensitive',
	57	'mouse-sensitive-fullscreen-window',
	58	'show-in-overview',
	59	'hot-corner',
	60	'mouse-triggers-overview'
	61	].forEach(function (s) {
	62	let settings_onoff = builder.get_object("toggle_" + s.replace(/-/g, "_"));
	63	settings_onoff.set_active(settings.get_boolean(s));
	64	settings_onoff.connect('notify::active', function (w) {
	65	settings.set_boolean(s, w.active);
	66	});
	67	settings.connect('changed::' + s, function (k,b) {
	68	settings_onoff.set_active(settings.get_boolean(b));
	69	});
	70	});
	71
	72	['pressure-threshold',
	73	'pressure-timeout'
	74	].forEach(function (s) {
	75	let settings_spin = builder.get_object("spin_" + s.replace(/-/g, "_"));
	76	settings_spin.set_value(settings.get_int(s));
	77	settings_spin.connect('value-changed', function (w) {
	78	settings.set_int(s, w.get_value());
	79	});
	80	settings.connect('changed::' + s, function (k,b) {
	81	settings_spin.set_value(settings.get_int(b));
	82	});
	83	});
	84
	85	/******************************************************************************
	86	************************************ Section Animation *******************
	87	******************************************************************************/
	88
	89	['animation-time-overview',
	90	'animation-time-autohide',
	91	].forEach(function (s) {
	92	let settings_spin = builder.get_object("spin_" + s.replace(/-/g, "_"));
	93	settings_spin.set_value(settings.get_double(s));
	94	settings_spin.connect('value-changed', function (w) {
	95	settings.set_double(s, w.get_value());
	96	});
	97	settings.connect('changed::' + s, function (k,b) {
	98	settings_spin.set_value(settings.get_double(b));
	99	});
	100	});
	101
	102	/******************************************************************************
	103	************************************ Section Shortcuts *******************
	104	******************************************************************************/
	105
	106	/* ++++++++++++++++++++++++++++++++++++ Keyboard accelerator +++++ */
	107
	108	let model = builder.get_object("store_shortcut_keybind");
	109	let model_row = model.get_iter_first()[1];
	110	let binding = settings.get_strv('shortcut-keybind')[0],
45	111	binding_key,
46		binding_mods,
47		treeview,
48		treeview_col,
49		cellrend;
50
51		/******************************************************************************
52		************************************ Section Sensitivity *****************
53		******************************************************************************/
54
55		frame.pack_start(new Gtk.Label({
56		label: _("<b>Sensitivity</b>"),
57		use_markup: true,
58		xalign: 0
59		}), false, false, 0);
60
61		settings_vbox = new Gtk.VBox({margin_left: 20, margin_top: 10, spacing: 6});
62		settings_array = [
63		['mouse-sensitive',_("Show panel when mouse approaches edge of the screen")],
64		['mouse-sensitive-fullscreen-window',_("In the above case, also show panel when fullscreen")],
65		['show-in-overview',_("Show panel in overview")],
66		['hot-corner',_("Keep hot corner sensitive, even in hidden state")],
67		['mouse-triggers-overview',_("In the above case show overview, too")],
68		];
69		settings_array.forEach(function (s) {
70		settings_onoff = new Gtk.Switch({active: settings.get_boolean(s[0])});
71		settings_onoff.connect('notify::active', function(w) {
72		settings.set_boolean(s[0], w.active);
73		});
74		settings.connect('changed::'+s[0], function(k,b) {
75		settings_onoff.set_active(settings.get_boolean(b));
76		});
77
78		settings_hbox = new Gtk.HBox();
79		settings_hbox.pack_start(new Gtk.Label({
80		label: s[1],
81		use_markup: true,
82		xalign: 0
83		}), true, true, 0);
84		settings_hbox.pack_end(settings_onoff, false, false, 0);
85
86		settings_vbox.pack_start(settings_hbox, false,false, 0);
87		});
88		frame.pack_start(settings_vbox, true, true, 0);
89
90		settings_vbox = new Gtk.VBox({margin_left: 20, margin_bottom: 10, spacing: 6});
91		settings_array = [
92		['pressure-threshold',_("Pressure barrier's threshold:")],
93		['pressure-timeout',_("Pressure barrier's timeout:")]
94		];
95		settings_array.forEach(function (s) {
96		settings_spin = Gtk.SpinButton.new_with_range(0,10000,1);
97		settings_spin.set_value(settings.get_int(s[0]));
98		settings_spin.connect('value-changed', function(w) {
99		settings.set_int(s[0], w.get_value());
100		});
101		settings.connect('changed::'+s[0], function(k,b) {
102		settings_spin.set_value(settings.get_int(b));
103		});
104
105		settings_hbox = new Gtk.HBox();
106		settings_hbox.pack_start(new Gtk.Label({
107		label: s[1],
108		use_markup: true,
109		xalign: 0
110		}), true, true, 0);
111		settings_hbox.pack_end(settings_spin, false, false, 0);
112
113		settings_vbox.pack_start(settings_hbox, false,false, 0);
114		});
115		frame.pack_start(settings_vbox, true, true, 0);
116
117		/******************************************************************************
118		************************************ Section Animation *******************
119		******************************************************************************/
120
121		frame.pack_start(new Gtk.Label({
122		label: _("<b>Animation</b>"),
123		use_markup: true,
124		xalign: 0
125		}), false, false, 0);
126
127		settings_vbox = new Gtk.VBox({margin_left: 20, margin_top: 10, margin_bottom: 10, spacing: 6});
128		settings_array = [
129		['animation-time-overview',_("Slide animation time when entering/leaving overview:")],
130		['animation-time-autohide',_("Slide animation time when mouse approaches edge of the screen:")]
131		];
132		settings_array.forEach(function (s) {
133		settings_spin = Gtk.SpinButton.new_with_range(0.0,1.0,0.1);
134		settings_spin.set_value(settings.get_double(s[0]));
135		settings_spin.connect('value-changed', function(w) {
136		settings.set_double(s[0], w.get_value());
137		});
138		settings.connect('changed::'+s[0], function(k,b) {
139		settings_spin.set_value(settings.get_double(b));
140		});
141
142		settings_hbox = new Gtk.HBox();
143		settings_hbox.pack_start(new Gtk.Label({
144		label: s[1],
145		use_markup: true,
146		xalign: 0
147		}), true, true, 0);
148		settings_hbox.pack_end(settings_spin, false, false, 0);
149
150		settings_vbox.pack_start(settings_hbox, false,false, 0);
151		});
152		frame.pack_start(settings_vbox, true, true, 0);
153
154		/******************************************************************************
155		************************************ Section Shortcuts *******************
156		******************************************************************************/
157
158		frame.pack_start(new Gtk.Label({
159		label: _("<b>Keyboard shortcuts</b>"),
160		use_markup: true,
161		xalign: 0
162		}), false, false, 0);
163
164		settings_vbox = new Gtk.VBox({margin_left: 20, margin_top: 10, spacing: 6});
165
166		/* ++++++++++++++++++++++++++++++++++++ Keyboard accelerator +++++ */
167
168		settings_hbox = new Gtk.HBox();
169		model = new Gtk.ListStore();
170
171		model.set_column_types([
172		GObject.TYPE_INT,
173		GObject.TYPE_INT
174		]);
175		model_row = model.append();
176		binding = settings.get_strv('shortcut-keybind')[0];
	112	binding_mods;
177	113	if (binding) {
178	114	[binding_key, binding_mods] = Gtk.accelerator_parse(binding);
179	115	} else {

181	117	}
182	118	model.set(model_row, [0, 1], [binding_mods, binding_key]);
183	119
184		treeview = new Gtk.TreeView({ 'expand': false, 'model': model });
185		cellrend = new Gtk.CellRendererAccel({
186		'editable': true,
187		'accel-mode': Gtk.CellRendererAccelMode.GTK
188		});
189
190		cellrend.connect('accel-edited', function(rend, iter, binding_key, binding_mods) {
	120	let cellrend = builder.get_object("accel_shortcut_keybind");
	121
	122	cellrend.connect('accel-edited',
	123	function (rend, iter, binding_key, binding_mods) {
191	124	let value = Gtk.accelerator_name(binding_key, binding_mods);
192	125	let [succ, iterator] = model.get_iter_from_string(iter);
193	126

197	130
198	131	model.set(iterator, [0, 1], [binding_mods, binding_key]);
199	132	settings.set_strv('shortcut-keybind', [value]);
200		});
201
202		cellrend.connect('accel-cleared', function(rend, iter, binding_key, binding_mods) {
	133	});
	134
	135	cellrend.connect('accel-cleared',
	136	function (rend, iter, binding_key, binding_mods) {
203	137	let [succ, iterator] = model.get_iter_from_string(iter);
204	138
205	139	if (!succ) {

208	142
209	143	model.set(iterator, [0, 1], [0, 0]);
210	144	settings.set_strv('shortcut-keybind', []);
211		});
212
213		treeview_col = new Gtk.TreeViewColumn({ min_width: 200 });
214		treeview_col.pack_end(cellrend, false);
215		treeview_col.add_attribute(cellrend, 'accel-mods', 0);
216		treeview_col.add_attribute(cellrend, 'accel-key', 1);
217		treeview.append_column(treeview_col);
218		treeview.set_headers_visible(false);
219
220		settings_hbox.pack_start(new Gtk.Label({
221		label: _("Key that triggers the bar to be shown:"),
222		use_markup: true,
223		xalign: 0
224		}), true, true, 0);
225		settings_hbox.pack_end(treeview, false, true, 0);
226
227		settings.connect('changed::shortcut-keybind', function(k, b) {
	145	});
	146
	147	settings.connect('changed::shortcut-keybind', function (k, b) {
228	148	let binding = settings.get_strv('shortcut-keybind')[0];
229	149	let binding_key = binding_mods = 0;
230	150	if (binding) {

233	153	model.set(model_row, [0, 1], [binding_mods, binding_key]);
234	154	});
235	155
236		settings_vbox.pack_start(settings_hbox, false, false, 3);
237
238	156	/* ++++++++++++++++++++++++++++++++++++ End: Keyboard accelerator +++++ */
239	157
240		settings_spin = Gtk.SpinButton.new_with_range(0.0,10.0,0.1);
241		settings_spin.set_value(settings.get_double('shortcut-delay'));
242
243		settings_hbox = new Gtk.HBox();
244		settings_hbox.pack_start(new Gtk.Label({
245		label: _("Delay before the bar rehides after key press:"),
246		use_markup: true,
247		xalign: 0
248		}), true, true, 0);
249		settings_hbox.pack_end(settings_spin, false, false, 0);
250
251		settings.connect('changed::shortcut-delay', function(k,b) {
252		settings_spin.set_value(settings.get_double(b));
253		});
254		settings_spin.connect('value-changed', function(w) {
255		settings.set_double('shortcut-delay', w.get_value());
256		});
257
258		settings_vbox.pack_start(settings_hbox, false,false, 0);
259
260		settings_array = [
261		['shortcut-toggles',_("Pressing the shortcut again rehides the panel")],
262		];
263		settings_array.forEach(function (s) {
264		settings_onoff = new Gtk.Switch({active: settings.get_boolean(s[0])});
265		settings_onoff.connect('notify::active', function(w) {
266		settings.set_boolean(s[0], w.active);
267		});
268		settings.connect('changed::'+s[0], function(k,b) {
	158	['shortcut-delay',
	159	].forEach(function (s) {
	160	let settings_spin = builder.get_object("spin_" + s.replace(/-/g, "_"));
	161	settings_spin.set_value(settings.get_double(s));
	162	settings_spin.connect('value-changed', function (w) {
	163	settings.set_double(s, w.get_value());
	164	});
	165	settings.connect('changed::' + s, function (k,b) {
	166	settings_spin.set_value(settings.get_double(b));
	167	});
	168	});
	169
	170	['shortcut-toggles',
	171	].forEach(function (s) {
	172	let settings_onoff = builder.get_object("toggle_" + s.replace(/-/g, "_"));
	173	settings_onoff.set_active(settings.get_boolean(s))
	174	settings_onoff.connect('notify::active', function (w) {
	175	settings.set_boolean(s, w.active);
	176	});
	177	settings.connect('changed::' + s, function (k,b) {
269	178	settings_onoff.set_active(settings.get_boolean(b));
270	179	});
271
272		settings_hbox = new Gtk.HBox();
273		settings_hbox.pack_start(new Gtk.Label({
274		label: s[1],
275		use_markup: true,
276		xalign: 0
277		}), true, true, 0);
278		settings_hbox.pack_end(settings_onoff, false, false, 0);
279
280		settings_vbox.pack_start(settings_hbox, false,false, 0);
281		});
282
283		frame.pack_start(settings_vbox, true, true, 0);
	180	});
284	181
285	182	/******************************************************************************
286	183	************************************ Section Intellihide *****************
287	184	******************************************************************************/
288	185
289		frame.pack_start(new Gtk.Label({
290		label: _("<b>Intellihide</b>"),
291		use_markup: true,
292		xalign: 0
293		}), false, false, 0);
294
295		settings_vbox = new Gtk.VBox({margin_left: 20, margin_top: 10, spacing: 6});
296		settings_array = [
297		['enable-intellihide',_("Only hide panel when a window takes the space")],
298		['enable-active-window',_("Only when the active window takes the space")],
299		];
300		settings_array.forEach(function (s) {
301		settings_onoff = new Gtk.Switch({active: settings.get_boolean(s[0])});
302		settings_onoff.connect('notify::active', function(w) {
303		settings.set_boolean(s[0], w.active);
304		});
305		settings.connect('changed::'+s[0], function(k,b) {
	186	['enable-intellihide',
	187	'enable-active-window',
	188	].forEach(function (s) {
	189	let settings_onoff = builder.get_object("toggle_" + s.replace(/-/g, "_"));
	190	settings_onoff.set_active(settings.get_boolean(s))
	191	settings_onoff.connect('notify::active', function (w) {
	192	settings.set_boolean(s, w.active);
	193	});
	194	settings.connect('changed::' + s, function (k,b) {
306	195	settings_onoff.set_active(settings.get_boolean(b));
307	196	});
308
309		settings_hbox = new Gtk.HBox();
310		settings_hbox.pack_start(new Gtk.Label({
311		label: s[1],
312		use_markup: true,
313		xalign: 0
314		}), true, true, 0);
315		settings_hbox.pack_end(settings_onoff, false, false, 0);
316
317		settings_vbox.pack_start(settings_hbox, false,false, 0);
318		});
319		frame.pack_start(settings_vbox, true, true, 0);
320
321		frame.show_all();
	197	});
	198
	199	if (!isGtk4) {
	200	frame.show_all();
	201	}
322	202	return frame;
323	203	}