Funky Papa
FUNK-Y-PPA-4
Gibraltar was captured in 1704 and formally ceded in 1713. The date at which it became a Crown Colony is not relevant, nor is when it changed it a British Overseas Territory. I don't think colonial status or not really matters. At one point Algeria was integrated into France, that sort of formal status wasn't really relevant to anything either. British Overseas territories that remain tend to be pretty content with their status, so them not being integrated into the UK is of no consequence, in my view. We're talking about over 300 years of uninterrupted British sovereignity, and a similar situation for Spain in those two sections of North Africa.
They're not entirely similar, but it's not something to lose sleep over, and colonial status isn't terribly relevant when ~99 percent of the population is emphatic that their current status is just fine in two referendums.
Make up your mind.