Closed petre2dor closed 7 months ago
@diegodario88 please consider merging this PR. The currently released version is not allowing me to select any terminal app because of this bug. Cheers!
@diegodario88 please consider merging this PR. The currently released version is not allowing me to select any terminal app because of this bug. Cheers!
Hi @petre2dor, looking forward to hearing your thoughts on the review above so I can merge this
sorry @diegodario88 I don't see any review on this PR. Am I blind?
sorry @diegodario88 I don't see any review on this PR. Am I blind?
My bad, I forgot to publish it 😔
fix for #22
seems like a documentation error because
get_categories()
can returnnull
, but the docs mention only string: https://gjs-docs.gnome.org/gio20~2.0/gio.desktopappinfo#method-get_categories