static void setWidgetColor(int col) {
int w=1, h=1;
      int[] pixels = new int[w*h];
      for (int i=0; i < w*h; i++)
        pixels[i] = col;

      Bitmap bitmap = Bitmap.createBitmap(pixels, w, h, Bitmap.Config.RGB_565);
    
      call(androidContext, "updateWidgetWithBitmap", bitmap);
    }