|
JP1 Remotes
|
View previous topic :: View next topic |
Author |
Message |
mathdon Expert
Joined: 22 Jul 2008 Posts: 4524 Location: Cambridge, UK |
Posted: Sun Jan 23, 2022 8:11 am Post subject: |
|
|
Barf wrote: | I would suggest moving the new option from Remotes to Options (or Options/Advanced), since it is actually an option. |
I disagree. It is an option that affects the behaviour of the Interface submenu on the same tab and so is immediately visible to those who might need it, which would not be the case on the Options menu.
Quote: | Also, the name "No port search" is sort-of difficult to understand, possibly "Manual port name entry only" would be better? |
The purpose of the option is to prevent the port search that tries to open a whole list of ports. A consequence of the option is to require the port name to be entered manually. I see the case for naming it based on either of these but chose the former as that describes the motivation for the option being selected. It has a tooltip that shows "When selected, interface type and external port must be specified explicitly" which explains the consequence, so I am happy with my choice of name.
Quote: | The new popup if this option is selected is ugly: it contains a degenerated radio-button set with only one selection |
I completely agree, and indeed thought the same thing when I implemented it. However, for an option that is likely to have very few users, I did not think it worth the effort of creating alternative pop-ups (not just one, it affects a number of different interfaces) to avoid something whose only fault is to be "not very pretty". _________________ Graham |
|
Back to top |
|
|
mathdon Expert
Joined: 22 Jul 2008 Posts: 4524 Location: Cambridge, UK |
Posted: Thu Mar 03, 2022 6:53 am Post subject: |
|
|
RMIR v2.14.0 is now released, see this announcement. It is a major update and all users are recommended to upgrade to it. _________________ Graham |
|
Back to top |
|
|
|
|
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum
|
Powered by phpBB © 2001, 2005 phpBB Group
|