Does the address you have sent the funds to appear in electrum (receive- or address tab?) ?
Yes, the address I sent my BTC to is in the Electrum application, and the receiving address was inside of the receiving tab, right where it says: "Receiving address:"
I guess you missed it:
Yep totally missed it (not used to a Mac) but then found it. I did an ismine("address") in the command line and it said true for the address I copied from electrum. I'm 99.9999% sure I used the right address. I checked it multiple times and had my wife check it forwards and backwards.
Can you clarify if where did you download the electrum wallet and put the bitcoin address you use for receiving bitcoin from bitcoin core here, so that we can find what actually the reason for not showing transaction in your electrum history and let me know if what version of electrum wallet you use?
I downloaded Electrum from
https://electrum.org/#download.
Has it still not come through?
If not, could you use a separate computer and try to restore the wallet from its seed.
You could also get the raw tx info and import that into electrum by going to tools -> load transaction and then use one of the options. Load from blockchain allows you to put the tx in there and the client will pull the relevant info from the blocks. From text allows you to import it from the raw transaction hash.
There used to be a bug in electrum that was supposedly fixed that included this (it was in the transition from python 2 to 3) but there might still be issues related to that bug that might have appeared. You might want to open a bug report on this though it might be difficult to isolate this new bug.