anchor.diff: +import 'package:campus_mobile_experimental/core/constants/notifications_constants.dart';
   import 'package:campus_mobile_experimental/core/data_providers/user_data_provider.dart';
   import 'package:campus_mobile_experimental/core/models/message_model.dart';
   import 'package:flutter/material.dart';
  
positive.code:   //Fetch messages
    void fetchMessages() async {
      _isLoading = true;
      _error = null;
      notifyListeners();
      _previousTimestamp = DateTime.now().millisecondsSinceEpoch;
  
negative.code:     } else {
        _messages.addAll(newMessages);
      }
  
      if (_messages.length == 0) {
        _statusText = NotificationsConstants.statusNoMessages;
      } else {
        _statusText = NotificationsConstants.statusNone;
      }
    }
  
    ///This setter is only used in provider to supply and updated UserDataProvider object
  