Re: ** to GIT source users ** Some incompatibility in "StyleTab"



I guess it would be best to remove tabs-raise-on-hover user-option and assume 
it as hardcoded-default. Any objections?

Chris


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]