On Thu, Sep 23, 2010 at 15:09, Martin Pohlack <mp26+ux at os.inf.tu-dresden.de> wrote: > This programs Ctrl-Ins to insert from the primary selection into bash. Again, this is not the PRIMARY selection. It is the CLIPBOARD selection.