pagetronic

import 'dart:async';

class Deferrer {
  final int milliseconds;
  Future? _next;

  Deferrer(this.milliseconds);

  void defer(void Function() toDo) {
    Future? next_;

pagetronic

import 'dart:async';

import 'package:flutter/widgets.dart';

class FutureOrBuilder<T> extends StatelessWidget {
  final FutureOr<T?> future;
  final Widget Function(BuildContext context, AsyncSnapshot<T?> snapshot) builder;

  const FutureOrBuilder({super.key, required this.builder, required this.future});

pagetronic

import 'dart:math';
import 'dart:typed_data';
import 'dart:ui' as ui;

import 'package:flutter/material.dart';

class ColorPicker extends StatefulWidget {
  final ValueNotifier<Color?> color;

  const ColorPicker({super.key, required this.color});

pagetronic

import 'package:sqflite_common_ffi/sqflite_ffi.dart';

import '../../map/utils/geojson.dart';
import 'objs.dart';

class Event extends DbObject {
  String? asset;
  int? surface;
  int? regna;
  int? event;

pagetronic

package fr.gendarmerie.docpro.settings.shortcuts;

import android.content.Context;
import android.content.Intent;
import android.content.pm.ShortcutInfo;
import android.graphics.drawable.Icon;

import androidx.annotation.Nullable;

import org.apache.commons.lang3.StringUtils;

pagetronic

/*
 * Public Domain @ CPMGN
 * Centre de Production Multimédia de la Gendarmerie Nationale
 */
package com.agroneo.grow.system.utils;

import android.os.Handler;
import android.os.Looper;

import java.util.concurrent.ExecutorService;

pagetronic

/*
 * Copyright 2019 Laurent PAGE, Apache Licence 2.0
 */
package com.agroneo.grow.system.utils;


import android.text.Html;
import android.text.Spanned;

import androidx.annotation.NonNull;

pagetronic

var copy = function () {

    var article = document.getElementById('article');
    if (article != null) {
        article.addEventListener('copy', function (e) {
               e.preventDefault();
            try {
                var selection = window.getSelection();
                e.clipboardData.setData('text/plain', $('<div/>').html(selection + "").text() + "\n\n" + 'Source: ' + document.location.href);
                e.clipboardData.setData('text/html', selection + '<br /><br />Source: <a href="' + document.location.href + '">' + document.title + '</a>');

pagetronic

package live.page.base.db;

import com.mongodb.client.model.Accumulators;
import com.mongodb.client.model.BsonField;
import live.page.base.utils.Json;

import java.util.ArrayList;
import java.util.List;

public class Aggregator extends ArrayList<BsonField> {

pagetronic

package gaia.mobot;

import com.google.gson.JsonArray;
import com.google.gson.JsonElement;
import com.google.gson.JsonObject;
import com.google.gson.JsonParser;
import com.mongodb.client.MongoCursor;
import com.mongodb.client.model.Accumulators;
import com.mongodb.client.model.Aggregates;
import com.mongodb.client.model.Filters;