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

johnraff

nullglob

From: Nagoya, Japan

Registered: 2015-09-09

Posts: 12,558

Website

1px top margin: remove?

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

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?

---

...elevator in the Brain Hotel, broken down but just as well...
( a boring Japan blog (currently paused), now on Bluesky, there's also some GitStuff )

Introduction to the Bunsenlabs Boron Desktop

martix

Kim Jong-un Stunt Double

Registered: 2016-02-19

Posts: 1,267

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.

cpoakes

Member

Registered: 2016-12-02

Posts: 108

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.

malm

jgmenu developer

Registered: 2016-10-13

Posts: 735

Website

Re: 1px top margin: remove?

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

johnraff

nullglob

From: Nagoya, Japan

Registered: 2015-09-09

Posts: 12,558

Website

Re: 1px top margin: remove?

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

---

...elevator in the Brain Hotel, broken down but just as well...
( a boring Japan blog (currently paused), now on Bluesky, there's also some GitStuff )

Introduction to the Bunsenlabs Boron Desktop

ohnonot

...again

Registered: 2015-09-29

Posts: 5,592

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.

brontosaurusrex

Middle Office

Registered: 2015-09-29

Posts: 2,740

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

---

My website full of interesting stuff.

bigbenaugust

Member

From: the 704 / KCLT

Registered: 2017-05-20

Posts: 179

Re: 1px top margin: remove?

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

---

--Ben
BL / MX / Raspbian... and a whole bunch of RHEL boxes. :)

johnraff

nullglob

From: Nagoya, Japan

Registered: 2015-09-09

Posts: 12,558

Website

Re: 1px top margin: remove?

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

---

...elevator in the Brain Hotel, broken down but just as well...
( a boring Japan blog (currently paused), now on Bluesky, there's also some GitStuff )

Introduction to the Bunsenlabs Boron Desktop

brontosaurusrex

Middle Office

Registered: 2015-09-29

Posts: 2,740

Re: 1px top margin: remove?

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

---

My website full of interesting stuff.

vinko

New Member

Registered: 2018-01-06

Posts: 1

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.

I think I found a way to remove the row.

In your rc.xml, inside <margins>, make sure <top>0</top>. THEN, find the <theme> element that you're currently using and add <keepBorder>no</keepBorder> in it.

Setting <keepBorder> tag to "no" should remove the borders when the window decoration is turned off.