People carlavilla

carlavilla (Sergio Carlavilla)
User

Projects

User does not belong to any projects.

Calendar

Today

  • Clear sailing ahead.

Tomorrow

  • Clear sailing ahead.

Sunday

  • Clear sailing ahead.

User Details

User Since
Jan 24 2018, 10:16 PM (326 w, 1 d)
Availability
Available

Recent Activity
View All

Aug 16 2018

carlavilla added a comment to D14860: Make middle click closes tab optional.
In D14860#310027, @hein wrote:

Hi,

thanks for your patch.

Please make the option positive, not negative. So, make it "Middle-click to close tabs" and enable it by default. Then the user can disable it if they prefer. The Task Manager settings in Plasma also use "middle-click", so the wording is good for consistency.

Aug 16 2018, 6:50 PM
carlavilla updated the diff for D14860: Make middle click closes tab optional.
Aug 16 2018, 6:49 PM

Aug 15 2018

carlavilla added a comment to D14860: Make middle click closes tab optional.
In D14860#309590, @cfeck wrote:

I think we say "middle mouse button", not "mouse middle button".

Aug 15 2018, 9:00 PM
carlavilla updated the diff for D14860: Make middle click closes tab optional.

Change 'mouse middle button' to 'middle mouse button'

Aug 15 2018, 8:59 PM
carlavilla requested review of D14860: Make middle click closes tab optional.
Aug 15 2018, 1:16 PM

Feb 2 2018

carlavilla added a comment to D10151: Correction with the & problem in tabs.

Sorry for my late response, but I've been moving all week.

Feb 2 2018, 12:24 PM · Plasma
carlavilla retitled D10151: Correction with the & problem in tabs from Solved bug 382512 to Correction with the & problem in tabs.
Feb 2 2018, 12:24 PM · Plasma