anchor.diff:  import 'dart:async';
   
  +import 'package:auto_size_text/auto_size_text.dart';
   import 'package:flutter/material.dart';
   import 'package:flutter/widgets.dart';
  +import 'package:flutter_pagewise/flutter_pagewise.dart';
   import 'package:guide7/connect/repository.dart';
   import 'package:guide7/connect/week_plan/week_plan_repository.dart';
   import 'package:guide7/localization/app_localizations.dart';
   import 'package:guide7/model/weekplan/week_plan_event.dart';
   import 'package:guide7/ui/view/week_plan/event/week_plan_event_widget.dart';
  -import 'package:flutter_pagewise/flutter_pagewise.dart';
   import 'package:guide7/util/custom_colors.dart';
   import 'package:intl/intl.dart';
   import 'package:sticky_headers/sticky_headers.dart';
  -import 'package:auto_size_text/auto_size_text.dart';
   
   /// View showing the week plan of the student.
   class WeekPlanView extends StatefulWidget {
  
positive.code:     DateFormat dayFormat = DateFormat.d(Localizations.localeOf(context).languageCode);
      DateFormat monthFormat = DateFormat.MMM(Localizations.localeOf(context).languageCode);
  
      Size size = MediaQuery.of(context).size;
      double fixedColumnWidth;
      if (MediaQuery.of(context).orientation == Orientation.portrait) {
  
negative.code:       itemBuilder: (BuildContext context, value, int index) {
          _DayInfo dayInfo = value as _DayInfo;
  
          if (dayInfo.date.isBefore(now)) {
            return Container();
          } else {
            return StickyHeaderBuilder(
              overlapHeaders: true,
              builder: (BuildContext context, double stuckAmount) {
                stuckAmount = 1.0 - stuckAmount.clamp(0.0, 1.0);
  
                return _buildDateHeader(fixedColumnWidth, weekDayFormat, dayFormat, monthFormat, dayInfo.date);
              },
              content: _buildEventsContainer(dayInfo.events, eventColumnWidth, fixedColumnWidth),
            );
          }
        },
      );
    }
  