On Wed, Aug 21, 2019, at 10:30 AM, Barry Duggan wrote:
> Michael,
>
> Thank you for that. Apparently it did find a default "xterm".
>
> So I have two suggestions related to this:
> 1) Don't show the error message unless it can't find a default.
> 2) Continue to show the error message until it has an xterm to use.
> Currently it shows the error message only once.
>
> Best regards,
> ---
> Barry Duggan
_______________________________________________
Discuss-gnuradio mailing list
Discuss-gnuradio@gnu.org
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
No comments:
Post a Comment