Matrix Games Forums

In the "Resources" tab (F6), with filter set to "Demand - highest" and “Gravillex Crystal”, it is indicated that I have 0 of 1 source. But in the "New Mining Locations" tab (shift-F7), with the filter set to "Priority" and "Gravillex Crystal", I do not see nothing.

Is that how it is supposed to be (if so: how come?), or should I signal this as a bug?