Author Topic: WIndow left margin and Icons  (Read 2671 times)

jporkkahtc

  • Senior Community Member
  • Posts: 1864
  • Hero Points: 180
  • Text
WIndow left margin and Icons
« on: September 17, 2014, 05:29:16 am »
The WindowLeftMargin area narrows when an Icon appears.


My margin was set to 0.15.
I did a push_tag
The margin narrowed to about 3/4 of what it was.
Popping that bookmark returns the margin to its normal size.

Clark

  • Moderator
  • Senior Community Member
  • *
  • Posts: 4965
  • Hero Points: 410
Re: WIndow left margin and Icons
« Reply #1 on: September 17, 2014, 11:32:04 am »
Ah...I finally reproduced what you are seeing.

There are two ways to change this.

would could:

A. If the window left margin setting is larger than what is needed for the left margin when it has a bitmap, just use the smaller size (the bitmap left margin size).

OR

B. If the window left margin setting is larger than what's needed for the bitmap, just use the window left margin setting.

« Last Edit: September 17, 2014, 11:49:20 am by Clark »

jporkkahtc

  • Senior Community Member
  • Posts: 1864
  • Hero Points: 180
  • Text
Re: WIndow left margin and Icons
« Reply #2 on: September 17, 2014, 02:08:53 pm »
It seems like A is what it does now, but B is what it should be.


Clark

  • Moderator
  • Senior Community Member
  • *
  • Posts: 4965
  • Hero Points: 410
Re: WIndow left margin and Icons
« Reply #3 on: September 17, 2014, 03:47:44 pm »
I didn't explain "A" correctly. Right now, your window left margin is larger than what is required for the left margin if there were a bitmap. You see a larger window left margin than what is required when there is a bitmap.

What I'm saying is that you would never see a window left margin which is larger than what is needed for a bitmap. Essentially the code would detect this an ignore your setting and force it to always be smaller whether there was a bitmap or not. There's no point in having a window left margin setting which is larger than what is required for a bitmap. Or at least, that's the assumption.

jporkkahtc

  • Senior Community Member
  • Posts: 1864
  • Hero Points: 180
  • Text
Re: WIndow left margin and Icons
« Reply #4 on: September 17, 2014, 05:33:56 pm »

I'd be fine if there was no setting at all, or at most a binary off/on setting - certainly that is better than having the setting be ignored most of the time.

So why is there a setting for this then?
The only other function for this area allowing mouse selection of entire lines - which makes having the setting seem somewhat reasonable (but not if it shrinks when displaying icons).







Clark

  • Moderator
  • Senior Community Member
  • *
  • Posts: 4965
  • Hero Points: 410
Re: WIndow left margin and Icons
« Reply #5 on: September 17, 2014, 06:06:30 pm »
The left margin setting isn't that useful like you said. Is the left margin area too small for you even at the bitmap width?

jporkkahtc

  • Senior Community Member
  • Posts: 1864
  • Hero Points: 180
  • Text
Re: WIndow left margin and Icons
« Reply #6 on: September 17, 2014, 07:13:02 pm »
No - the bitmap size is fine.
Its just that the default (which is .15) isn't the same, so thats how I noticed this.


Clark

  • Moderator
  • Senior Community Member
  • *
  • Posts: 4965
  • Hero Points: 410
Re: WIndow left margin and Icons
« Reply #7 on: September 17, 2014, 10:58:54 pm »
Are you running on Unix? Or have you changed the Dialog font?

jporkkahtc

  • Senior Community Member
  • Posts: 1864
  • Hero Points: 180
  • Text
Re: WIndow left margin and Icons
« Reply #8 on: September 17, 2014, 11:08:15 pm »

Windows.

Yeah, I've changed most of the fonts to a fixed point font.
Dialogs=Courier New, size=8




For some reason, not everything is the same fixed font - I set this a long time ago.


Clark

  • Moderator
  • Senior Community Member
  • *
  • Posts: 4965
  • Hero Points: 410
Re: WIndow left margin and Icons
« Reply #9 on: September 17, 2014, 11:16:25 pm »
I went ahead an implemented option 'A'. Users can make the window left margin smaller but not larger than what is required for the bitmap. This is what the original intent of this feature was. In any case, it's not all that useful.