Re: Scrolbars back to 15 pixels

Monday, 27 April 1998


        "Kirill M. Katsnelson" <kkm(a)kis.ru&gt; writes:

...
 An evil something worked back 3 pixels to scrollbar thickness in my
 installation. Specification is set globally. Didier's scrollbar visible
 option did the trick, right? 
	probably.


...
 We DEMAND a separate specifier for scrollbar visibility. Oh we do!
No? :) 
	Yes we do ! :-)


...
> (defcustom scrollbars-visible-p
>  [...]
>  ;; This is really a hack: there should be a real specifier for this, in
>  ;; order to turn on/off the scrollbars without altering their size. 
-- 
    /     /   _   _       Didier Verna        http://www.inf.enst.fr/~verna/
 - / / - / / /_/ /      E.N.S.T. INF C214        mailto:verna＠inf.enst.fr
/_/ / /_/ / /__ /        46 rue Barrault        Tel.   (33) 01 45 81 80 72
                      75634 Paris  cedex 13     Fax.   (33) 01 45 81 31 19

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998