radio button symbols for special slot / drop-down menu options

pull/89/head
jmoenig 2019-02-05 22:09:55 +01:00
rodzic 4951f5cb70
commit 89fb1ac36f
3 zmienionych plików z 9 dodań i 6 usunięć

Wyświetl plik

@ -36,6 +36,9 @@
* Greek, thanks, Alexandros!
* German
### 2019-02-05
* BYOB: radio button symbols for special slot / drop-down menu options
### 2019-02-04
* BYOB: new experimental feature: special context-aware drop-down menus for custom blocks
* BYOB: identify multi-line input slots by the pilcrow symbol in the slot editor

Wyświetl plik

@ -12,7 +12,7 @@
<script type="text/javascript" src="src/gui.js?version=2019-01-28"></script>
<script type="text/javascript" src="src/paint.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/lists.js?version=2019-01-10"></script>
<script type="text/javascript" src="src/byob.js?version=2019-02-04"></script>
<script type="text/javascript" src="src/byob.js?version=2019-02-05"></script>
<script type="text/javascript" src="src/tables.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/symbols.js?version=2019-01-14"></script>
<script type="text/javascript" src="src/sketch.js?version=2018-10-02"></script>

Wyświetl plik

@ -108,7 +108,7 @@ BooleanSlotMorph, XML_Serializer, SnapTranslator*/
// Global stuff ////////////////////////////////////////////////////////
modules.byob = '2019-February-04';
modules.byob = '2019-February-05';
// Declarations
@ -3684,8 +3684,8 @@ InputSlotDialogMorph.prototype.editSlotOptions = function () {
InputSlotDialogMorph.prototype.specialSlotsMenu = function () {
var menu = new MenuMorph(this.setSlotType, null, this),
myself = this,
on = '\u2611 ',
off = '\u2610 ';
on = '\u26AB ',
off = '\u26AA ';
function addSpecialSlotType(label, spec) {
menu.addItem(
@ -3702,8 +3702,8 @@ InputSlotDialogMorph.prototype.specialSlotsMenu = function () {
InputSlotDialogMorph.prototype.specialOptionsMenu = function () {
var menu = new MenuMorph(this.setSlotOptions, null, this),
myself = this,
on = '\u2611 ',
off = '\u2610 ';
on = '\u26AB ',
off = '\u26AA ';
function addSpecialOptions(label, selector) {
menu.addItem(