I am interested in modifying TimeDoctor's GUI to make some aspects of it friendlier. Is there any interest in things like font size setting and such? Would patches be accepted and or encouraged?
Thank you for your time and consideration.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Despite a number of active users there has been no development for a while
on Time Doctor. Patches will be greatly appreciated as long as the file
format remains backward compatible.
I am interested in modifying TimeDoctor's GUI to make some aspects of it
friendlier. Is there any interest in things like font size setting and
such? Would patches be accepted and or encouraged?
I do not plan to change the TDI format for the time being. I do have some concerns about the GUI and was wanting to deal with those first. My first big annoyance is not being able to change the font size. Do you have any thoughts on this? Is there any particular way you would prefer this to be implemented?
Once again thank you for your time and consideration.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
For the font sizes I would use the standard settings dialog, not sure
if Eclipse offers a default way for this. Biggest issue is in
testing/restricting the fonts to avoid layout problems in e.g. the
ruler. I'm afraid that will just be custom code.
Once again thank you for your time and consideration.
To be honest I have extremely little time to spend on this at this
moment, so apologies if I am not much of a help.
For my curiosity: what do you use TimeDoctor for? In which company?
I do not plan to change the TDI format for the time being. I do have some
concerns about the GUI and was wanting to deal with those first. My first
big annoyance is not being able to change the font size. Do you have any
thoughts on this? Is there any particular way you would prefer this to be
implemented?
Once again thank you for your time and consideration.
Hello,
I am interested in modifying TimeDoctor's GUI to make some aspects of it friendlier. Is there any interest in things like font size setting and such? Would patches be accepted and or encouraged?
Thank you for your time and consideration.
Hi Jairo,
Despite a number of active users there has been no development for a while
on Time Doctor. Patches will be greatly appreciated as long as the file
format remains backward compatible.
Cheers,
Martijn
On Nov 30, 2015 05:15, "Jairo Lopez" nacarino@users.sf.net wrote:
Hello Martijn,
Thank you very much for your quick response.
I do not plan to change the TDI format for the time being. I do have some concerns about the GUI and was wanting to deal with those first. My first big annoyance is not being able to change the font size. Do you have any thoughts on this? Is there any particular way you would prefer this to be implemented?
Once again thank you for your time and consideration.
Hi Jairo,
For the font sizes I would use the standard settings dialog, not sure
if Eclipse offers a default way for this. Biggest issue is in
testing/restricting the fonts to avoid layout problems in e.g. the
ruler. I'm afraid that will just be custom code.
For my curiosity: what do you use TimeDoctor for? In which company?
Best
Martijn
On Wed, Dec 2, 2015 at 3:25 AM, Jairo Lopez nacarino@users.sf.net wrote: