Pieter12345
3aa81b0a89
Add CTRL +/-/scroll shortcuts to adjust editor console font size
...
Add CTRL +/- and CTRL scroll shortcuts to increase/decrease editor console output text size. This font size is shared with the editor and serial/network monitor. Adjusting the font size on any of these will update them all.
Partially fixes #8615 .
2019-03-26 17:18:11 +01:00
Pieter12345
91fc80ba69
Properly update editor console font size on change
...
Make the editor console font properly update with editor font size changes. Before this commit, only newly added text would have an adjusted size, making it possible to have multiple text sizes in the editor console.
2019-03-26 17:18:11 +01:00
Pieter12345
e3f129a0ee
Fix compiler/IDE warnings in monitor classes + Code cleanup
...
No functional changes:
- Fix compiler/IDE warnings in monitor classes.
- Replace listeners to use lambda classes where convenient in monitor classes.
- Code cleanup.
2019-03-26 17:18:11 +01:00
Pieter12345
1a6d55480c
Make text monitor output area font size dynamically adjustable
...
Add CTRL +/- and CTRL scroll shortcuts to increase/decrease serial/network monitor output text size. This font size is shared with the editor and adjusting either will update both.
Partially fixes #8615
2019-03-26 17:18:11 +01:00
Pieter12345
49242bed02
Add editor zoom "CTRL =" shortcut
...
Add "CTRL =" as additional shortcut to increase the editor font size. This shortcut should be added because the '+' and '=' characters are often on the same key on the keyboard and having to press SHIFT as well is not intuitive for all users (especially since many common applications support "CTRL =").
2019-03-26 17:18:11 +01:00
Martino Facchin
f119590d84
Starting 1.8.10
2019-03-25 11:25:48 +01:00
Arturo Rinaldi
9ab3ca5b6d
updatin arduino-linux-setup.sh script to release v10
2019-03-18 14:07:56 +01:00
Martino Facchin
74f93fe60c
Merge pull request #8658 from arduino/gvarisco-appdata-xml
...
Updated appdata.xml for release 1.8.9
2019-03-18 10:35:02 +01:00
Gianluca Varisco
0e6ad8cb3a
Updated appdata.xml for release 1.8.9
2019-03-15 18:16:50 +01:00
Cristian Maglie
da6b81d35b
Back from the future!
2019-03-15 15:14:01 +01:00
Cristian Maglie
aa79e0eac8
Updated revision log
2019-03-15 15:12:09 +01:00
Cristian Maglie
82a6a404c2
Update translations
2019-03-15 14:23:43 +01:00
Cristian Maglie
54ca2235cc
pluggable discovery: Debugging messages under 'discovery.debug' preference
2019-03-15 14:15:50 +01:00
Martino Facchin
20e1770842
Update WiFi101-Updater plugin to 0.10.6
2019-03-12 09:43:03 +01:00
Martino Facchin
dd58a7254c
Replace usages of jssc-2.8.0-arduino2.jar with arduino3
2019-03-11 17:05:06 +01:00
Martino Facchin
8ad6d0efcf
Update aarch64 shared library in jssc
...
Fixes https://github.com/arduino/Arduino/issues/7302#issuecomment-422539496
2019-03-11 17:01:18 +01:00
Martino Facchin
0e45f4e0d4
Merge pull request #8038 from cmaglie/pluggable-discovery
...
Pluggable discovery: search in platform.txt (WIP)
2019-03-07 14:13:43 +01:00
Martino Facchin
d4bbf71b30
Match wildcard property "." with board fqbn/name
2019-03-07 14:11:06 +01:00
Martino Facchin
be1a8403f0
Add TargetBoard.getFQBN helper
2019-03-07 14:11:06 +01:00
Martino Facchin
feb863dfc9
PluggableDiscovery: allow patterns to contain runtime variables
2019-03-07 12:41:27 +01:00
Martino Facchin
4ae2e1f116
Fix wrong Unicode encoding on unsaved sketch
...
Fixes #4231
2019-03-07 12:21:12 +01:00
Peter Stevenson
702976f8d6
Display a more user friendly error if script isn't ran as root. symlink.
2019-03-07 11:57:02 +01:00
Peter Stevenson
4cd38aab05
Ensure password request message goes on new line.
2019-03-07 11:57:02 +01:00
Peter Stevenson
e20c648b09
Add symlink creation and removal lines. This will need sudoers password.
2019-03-07 11:57:02 +01:00
jenkins
41008f9a87
update arduino-builder to 1.4.4
2019-03-07 11:42:08 +01:00
Martino Facchin
9518aa421c
Ensure line is unfolded when highlighting for error
...
Fixes #8457
For some reason, getCurrentTab().getTextArea().getFoldManager().ensureOffsetNotInClosedFold(line) doesn't work here; there no documentation on what offset is.
Also, getFoldForLine(line) returns null even if the line is folded (bug in rsyntaxtextarea?)
2019-03-07 11:19:46 +01:00
Cristian Maglie
a5e866f731
makeup: using some lambdas where possible
2019-03-06 13:18:53 +01:00
Martino Facchin
8f5f4f594d
[LibManager] Restore "search on type" with 1 second grace period
2019-02-15 10:44:56 +01:00
Martino Facchin
f3d521d820
[Lib Manager] Avoid updating the UI at every keystroke
...
Fixes #8282
2019-02-14 15:34:21 +01:00
Martino Facchin
2b11e94afe
Correctly handle cancellation on last open sketch exit
...
Fixes #8488
2019-02-04 10:03:17 +01:00
Martino Facchin
2ac2e23bd7
Merge pull request #8429 from sandeepmistry/jtouchbar-1.0.0
...
Upgrade jtouchbar to 1.0.0
2019-01-24 18:44:02 +01:00
Sandeep Mistry
3c8f201024
macOS touchbar: Run event handler later to prevent hanging if a dialog needs to be open
2019-01-24 11:58:37 -05:00
Sandeep Mistry
980b70e3d6
Upgrade jtouchbar to 1.0.0
2019-01-23 10:46:28 -05:00
Cristian Maglie
e1caaf1c45
Perform port selection after initializing packages
...
Fix #8400
2019-01-23 15:46:41 +01:00
Cristian Maglie
651dcd5271
Removed unused field
2019-01-23 13:51:41 +01:00
Cristian Maglie
4fffcd6e1a
Editor: use TargetBoard.getName() to get board name
2019-01-23 13:51:41 +01:00
Cristian Maglie
6c50007e22
Editor: renamed status bar field serialport -> port
2019-01-23 13:51:41 +01:00
Cristian Maglie
7bc086a301
PluggableDiscovery: correct synchronization on 'portList' access
2019-01-23 13:51:41 +01:00
Cristian Maglie
4ae740ad66
PluggableDiscovery: BoardPort.label sanity check in the correct place
2019-01-23 13:51:41 +01:00
Cristian Maglie
4c188c9374
PluggableDiscovery: Factored out method to umarshal BoardPort from JSON
2019-01-23 13:51:41 +01:00
Cristian Maglie
8e9f0cfd76
PluggableDiscovery: added a 'port' field in json messages
...
The new format of 'add' and 'remove' actions is changed from:
{
"eventType": "add",
"address": "/dev/ttyACM0",
"label": "/dev/ttyACM0",
"prefs": {
"vendorId": "0x2341"
"productId": "0x0043",
"serialNumber": "85235353137351018160",
},
"identificationPrefs": {
"vid": "0x2341"
"pid": "0x0043",
},
"protocol": "serial",
"protocolLabel": "Serial Port"
}
to:
{
"eventType": "add",
"port": {
"address": "/dev/ttyACM0",
"label": "/dev/ttyACM0",
"prefs": {
"vendorId": "0x2341"
"productId": "0x0043",
"serialNumber": "85235353137351018160",
},
"identificationPrefs": {
"vid": "0x2341"
"pid": "0x0043",
},
"protocol": "serial",
"protocolLabel": "Serial Port"
}
}
2019-01-23 13:51:41 +01:00
Cristian Maglie
7186213034
Slightly changed pluggable discovery json parsing
...
The json input is now parsed into a JsonTree that can probed for the
'eventType' node value so we can understand the type of message to
decode to.
2019-01-23 13:51:41 +01:00
Cristian Maglie
349af4b5cf
Added BoardPort.protocolLabel and simplified port menu rendering
2019-01-23 13:51:41 +01:00
Cristian Maglie
c03a8bc175
Minor fix in indentation and style
2019-01-23 13:51:41 +01:00
Cristian Maglie
cfd3cf2b27
Use correctly the setBoardName() method in NetworkDiscovery
2019-01-23 13:51:41 +01:00
Cristian Maglie
9ba172b0db
Show BoardName.boardName field in 'Ports' menu
...
...instead of putting it into the 'label' field during discovery.
2019-01-23 13:51:41 +01:00
Cristian Maglie
ec4787a92b
Fixed board identification in BoardPort
2019-01-23 13:51:41 +01:00
Cristian Maglie
5bc96652e6
Slightly optimized method by removing redundant boolean flag
2019-01-23 13:51:41 +01:00
Cristian Maglie
80fb9a0b38
Optimized forceRefresh() method by removing redundant boolean paramater
2019-01-23 13:51:41 +01:00
Cristian Maglie
3ccb2d97e1
Merged SerialDiscovery and SerialBoardLister
...
They perform basically the same task, SerialDiscovery just used to proxy
the calls to SerialBoardLister
2019-01-23 13:51:41 +01:00