public void updateFilterPosition() {
		long globalStartTime = filterManager.getGlobalStartTime().getTime();
		long globalEndTime = filterManager.getGlobalEndTime().getTime();
		long filterStartTime = filterManager.getFilterStartTime().getTime();
		long filterEndTime = filterManager.getFilterEndTime().getTime();

		if (filterManager.isValid()) {
			filterLeftPos = ((double)(filterStartTime - globalStartTime)) / (globalEndTime - globalStartTime);
			filterRightPos = ((double)(filterEndTime - globalStartTime)) / (globalEndTime - globalStartTime);
			if (filterRightPos - filterLeftPos < 0.005) {
				/*reset filter if gap is too small*/
				filterLeftPos = 0;
				filterRightPos = 1;		
				updateFilterInManager();
			}
		} else {
			filterLeftPos = 0;
			filterRightPos = 1;
		}
		repaint();
	}