Nice Motif window decorations. What window manager is it? This is what my Double Commander looks like: https://paste.dbohdan.com/doublecmd.mr2hnji.png https://

Nice Motif window decorations. What window manager is it? This is what my Double Commander looks like: https://paste.dbohdan.com/doublecmd.mr2hnji.png https://paste.dbohdan.com/doublecmd.mr2hnji.png. (Small screenshot because I am connected to my computer from an iPad at half its native resolution.)