You are not logged in.

#1 2017-12-06 02:30:31

johnraff
nullglob
From: Nagoya, Japan
Registered: 2015-09-09
Posts: 3,409
Website

1px top margin: remove?

Topic started here: https://forums.bunsenlabs.org/viewtopic … 727#p64727

bigbenaugust wrote:

Is there any particular reason why tint2 is exactly 1 pixel down from the top of the screen?

There is a 1px top margin set in Openbox's rc.xml - perhaps we can now drop that? It was put there at a time when a bit of clear desktop was considered necessary so as to always have access to openbox's right-click menu. Now tint2 allows that anyway (and there is always Super+Space).

OTOH tint2 also has

panel_margin = 0 1

setting a 1px vertical margin too.
I tried removing that, and to be honest, with at least the default tint2 settings, which put a faint border round the panel, I thought it looked better with the 1px separation from the top of the screen.

So, current proposal:
1) drop the 1px top margin from rc.xml, but
2) keep it in tint2rc

Any thoughts?


John
--------------------
( a boring Japan blog , Japan Links, idle twitterings  and GitStuff )
In case you forget, the rules.

Offline

#2 2017-12-06 03:18:08

martix
Kim Jong-un Stunt Double
Registered: 2016-02-19
Posts: 850

Re: 1px top margin: remove?

There is also Menu/Preferences/Openbox/GUI Config Tool/Margins, which makes it very easy to configure. If there is tint2, it works nicely without a desktop margin at the top (and also on the side with a horizontal tint2), so indeed, there is no need for such a margin anymore.

As for the tint2 margin: If it looks good, why not? Anyone not liking it, I guess it's easy enough to change it back.

Offline

#3 2017-12-06 04:08:04

cpoakes
Member
Registered: 2016-12-02
Posts: 106

Re: 1px top margin: remove?

I removed the 1px margin from my OB configuration years ago. Tint2 offers right-click thru to the OB menu, so the top desktop margin has been redundant for a very long time™.

Furthermore, if you move tint2 to the bottom, maximized windows always have 1px of wallpaper exposed at the top. This is visually distracting when your wallpaper contrasts with your title bars or undecorated content. And dedicating a row wastes screen real estate in already "too short" environments like 1366x768. 

Please make it go away.

Offline

#4 2017-12-06 06:12:27

malm
jgmenu developer
Registered: 2016-10-13
Posts: 98
Website

Re: 1px top margin: remove?

Yes, agree. Better without margin (ob+tint2)

Offline

#5 2017-12-06 06:37:41

johnraff
nullglob
From: Nagoya, Japan
Registered: 2015-09-09
Posts: 3,409
Website

Re: 1px top margin: remove?

Nobody pleaded to keep it, so out it goes - OB anyway.


John
--------------------
( a boring Japan blog , Japan Links, idle twitterings  and GitStuff )
In case you forget, the rules.

Offline

#6 2017-12-06 08:18:25

ohnonot
...again
Registered: 2015-09-29
Posts: 2,218
Website

Re: 1px top margin: remove?

out!

bit surprised it was still in there.
one of those nifty and genius solutions that make you go "aaah!" when you realise WHY somebody put it there in the first place.
but thankfully (praise o9000!) tint2 caters well to OB users' needs.

Offline

#7 2017-12-06 11:07:59

brontosaurusrex
Middle Office
Registered: 2015-09-29
Posts: 1,199

Re: 1px top margin: remove?

Basically what one should have in tint2rc is

a. Disabled (under tasks)

#mouse_right = 

b. Enabled  (under panel)

wm_menu = 1

Online

#8 2017-12-06 14:19:23

bigbenaugust
Member
From: unc.edu / the 919 / KIGX
Registered: 2017-05-20
Posts: 82

Re: 1px top margin: remove?

I was going to vote "remove"... but it's already been decided! wink


--Ben
BL / BL Helium / Raspbian / Ubuntu MATE ... and a whole bunch of RHEL boxes. :)

Offline

#9 2017-12-07 02:30:26

johnraff
nullglob
From: Nagoya, Japan
Registered: 2015-09-09
Posts: 3,409
Website

Re: 1px top margin: remove?

@bronto that's what we have in tint2rc already.


John
--------------------
( a boring Japan blog , Japan Links, idle twitterings  and GitStuff )
In case you forget, the rules.

Offline

#10 2017-12-07 07:18:25

brontosaurusrex
Middle Office
Registered: 2015-09-29
Posts: 1,199

Re: 1px top margin: remove?

Sure, I just did a little sum for random googler from future (me included).

Online

Board footer

Powered by FluxBB