From 53a029a796b6892df81eed73a2fe3baa5341beaa Mon Sep 17 00:00:00 2001 From: Simon Frei Date: Wed, 6 Jun 2018 23:33:31 +0200 Subject: [PATCH] gui: Restrict shown decimals and restrict size of header columns (#4973) --- gui/default/index.html | 19 +++---- gui/default/syncthing/app.js | 49 +++++++++++++++++++ gui/default/syncthing/core/binaryFilter.js | 17 +------ .../syncthing/core/localeNumberFilter.js | 7 +-- gui/default/syncthing/core/metricFilter.js | 17 +------ gui/default/syncthing/core/percentFilter.js | 15 ++++++ .../transfer/neededFilesModalView.html | 10 ++-- 7 files changed, 83 insertions(+), 51 deletions(-) create mode 100644 gui/default/syncthing/core/percentFilter.js diff --git a/gui/default/index.html b/gui/default/index.html index 763406847..aa6140d6e 100644 --- a/gui/default/index.html +++ b/gui/default/index.html @@ -270,8 +270,8 @@