Again some clarification: We do not want to change how long it takes for the launcher to *appear*, but how long it takes the launcher to *hide*. I cannot find such an option in 12.04 and think that this delay should be configurable for the desktop to feel more responsive.
Again some clarification: We do not want to change how long it takes for the launcher to *appear*, but how long it takes the launcher to *hide*. I cannot find such an option in 12.04 and think that this delay should be configurable for the desktop to feel more responsive.