98b326dd2e
This removes the solution with no convincing replacement, and breaks most basic window management tasks such as raising a window when clicking it. Please come back when you get the issues fixed and a real alternative to the "ugly" border highlighting. This reverts hrev45197-45202. |
||
---|---|---|
.. | ||
add-ons | ||
apps | ||
bin | ||
build | ||
data | ||
documentation | ||
kits | ||
libs | ||
preferences | ||
servers | ||
system | ||
tests | ||
tools | ||
Jamfile |