public SourceEditor(Configuration configuration, IMigrationProvider migration_provider, MigrationViewer viewer) { _migration_provider = migration_provider; _configuration = configuration; list_viewer = viewer; }