After talking with Chris on IRC, I patched my gnome-terminal.desktop by appending X-Cinnamon to the list of desktop environments at the end of the "OnlyShowIn" line. Terminal now shows up in gnome-do.
After talking with Chris on IRC, I patched my gnome-terminal. desktop by appending X-Cinnamon to the list of desktop environments at the end of the "OnlyShowIn" line. Terminal now shows up in gnome-do.