Jonas Oberg fe5ea60847 Usernames should be able to include dots (.) преди 8 години
..
editor.jade 80a4bdd417 Merge, move, and rename the main stylus file преди 10 години
editor.js fe5ea60847 Usernames should be able to include dots (.) преди 8 години
fonts.styl 8ae6abe603 Switch the font to roboto преди 10 години
header.jade 27a58c18ee Implement a disconnected indicator преди 9 години
header.js 02e381f694 invoke new component from headerBar преди 8 години
header.styl 27a58c18ee Implement a disconnected indicator преди 9 години
keyboardShortcuts.jade 71b9a42f00 Allow the header bar customization преди 9 години
keyboardShortcuts.styl 5763714d22 Enphasize keyboard shortcuts with a dedicated style преди 9 години
layouts.jade 061d91ae7c Add web manifest преди 8 години
layouts.js 80d73b9910 Add Breton label преди 8 години
layouts.styl b24212d70a Fix keyframe property преди 8 години
popup.js b3851817ec Enforce a consistent ES6 coding style преди 10 години
popup.styl 354eff9f7b add: support compact mode for mobile web, auto adapt to small screen/window преди 9 години
popup.tpl.jade 0b6c229b6c Define the popup translation in the stylesheet, not in the JS code преди 10 години
spinner.styl 8b5fd09ff3 Fix layout on Apple devices преди 9 години
spinner.tpl.jade 2dbea30842 Renaissance преди 10 години