Re: [EiffelStudio Dev] EiffelStudio contributions

2 views
Skip to first unread message

Thomas Goering

unread,
Apr 10, 2024, 2:48:09 AMApr 10
to eiffelst...@googlegroups.com
Please ignore this post. I accidentally sent it to the group before it was finished...

> Am 09.04.2024 um 21:46 schrieb ThomasGoering <tho...@goering.com>:
>
> Hi all,
>
> After a few years of absence I started (again) using Eiffel and EiffelStudio. As I was going through the EiffelStudio tutorials (https://www.eiffel.org/doc/eiffelstudio/EiffelStudio_tutorials) and doing some basic things I noticed some strange behavior. Most of them are UI-related bugs of inconsistencies, but not all.
>
> So I decided to take a deeper look into the EiffelStudio sources at Github and try to work on these issues by myself, if possible. I already created a few pull requests for the Github repository and also created support reports for issues which I could not (yet) fix on my own etc.
>
> Now I am at a point with one issue where I could simply create another support report and hope that Eiffel Software takes care. Or I could fix it on my own and contribute it again as a pull request. But doing this (and I would really prefer to do this) I would like to get feedback on the issue (can others reproduce it as well?) and on how to best fix this.
>
> This is a general question, so I would like to get some feedback on what is the "preferred"
>
> Thomas
>
> --
> For more messaging options, visit this group at http://forum.eiffel.com.
> Information on the Eiffelstudio project: http://dev.eiffel.com.
> ---
> You received this message because you are subscribed to a topic in the Google Groups "eiffelstudio-dev" group.
> To unsubscribe from this topic, visit https://groups.google.com/d/topic/eiffelstudio-dev/Jw-_TfV7fxk/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to eiffelstudio-d...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/eiffelstudio-dev/09175ece-2977-40f8-87b0-811ca49a1b88n%40googlegroups.com.

Reply all
Reply to author
Forward
0 new messages