As far as I know, there are quite a few different types of flush valves and settings.
Did the plumber happen to have the valve with him or did he have to (a) look to see what type of cistern/valve it was, (b) find somewhere that had a suitable replacement in stock, (c) go and get the replacement...