IMHO the adding of a fixed amount of padding to the right is a hack. If possible, I would like to avoid adding hacks to the UI code.
If you think you can propose a better organization of that tab, I'm happy to implement. We have a few hours until UI freeze, and if you provide something quick I will be able to implement.
Please let me know!
In the mean time, I have no problem of setting 12px border to the main window, as you requested.
Hi Daniel,
IMHO the adding of a fixed amount of padding to the right is a hack. If possible, I would like to avoid adding hacks to the UI code.
If you think you can propose a better organization of that tab, I'm happy to implement. We have a few hours until UI freeze, and if you provide something quick I will be able to implement.
Please let me know!
In the mean time, I have no problem of setting 12px border to the main window, as you requested.