Commit Graph

1428 Commits

Author SHA1 Message Date
Jiangbin Zhao d95114e43f implement top_of_window and bottom_of_window
to complement center_of_window
2022-05-09 18:04:53 -07:00
Jiangbin Zhao 7c447bc0c0 address PR review feedbacks
rework the unit tests in lapce-core::language
2022-05-09 16:11:12 -07:00
Dongdong Zhou b29805db46
Merge pull request #484 from tormeh/tormod-ci-fmt
Run fmt on PRs
2022-05-09 22:14:24 +01:00
Jiangbin Zhao fd957412fb address PR review feedbacks
- reimplement LapceLanguage::from_path()

- add a few unit tests

- minor changes including renaming struct and function
2022-05-09 13:15:04 -07:00
Dongdong Zhou 911d5f6aad new way to check if buffer is pristine 2022-05-09 21:10:24 +01:00
Dongdong Zhou 6380a4dfa4 improve file explorer watch 2022-05-09 14:26:01 +01:00
Tormod G. Hellen 9ffdf57b21 Add cargo fmt check for PRs. 2022-05-09 14:47:20 +02:00
Tormod G. Hellen da0ef012e4 Run cargo fmt. 2022-05-09 14:43:06 +02:00
Jiangbin Zhao 51f335fd36 deps on the tree-sitter lang crates now optional 2022-05-08 22:01:52 -07:00
Dongdong Zhou 510274f3a9 update file explorer when file created/removed 2022-05-08 21:55:25 +01:00
Dongdong Zhou c3c123b50a
Merge pull request #478 from bugadani/events
Propagate events to hidden if necessary, remove some boxes
2022-05-08 20:22:26 +01:00
Dongdong Zhou 9138384ecb
Merge pull request #474 from bugadani/cow
Introduce `ReadOnlyString`
2022-05-08 20:13:20 +01:00
Dániel Buga 144dec971b Remove unnecessary box 2022-05-08 11:10:30 +02:00
Dániel Buga 52e23eb84f Remove a level of indirection 2022-05-08 11:03:11 +02:00
Dániel Buga a71bbe202f Propagate events to panels if necessary 2022-05-08 10:53:29 +02:00
Dongdong Zhou 6e449b1d5c swap error and warning in status line 2022-05-07 20:36:39 +01:00
Dongdong Zhou 973f866eea
Merge pull request #475 from bugadani/d
Fix spelling of diagnostic
2022-05-07 13:44:04 +01:00
Dániel Buga 111270a261 Fix spelling of diagnostic 2022-05-07 14:34:36 +02:00
Dániel Buga eddaf89a1a Use cheap to copy strings as panel headers 2022-05-07 14:17:59 +02:00
Dongdong Zhou 3f666a9aac
Merge pull request #471 from lapce/close
Use svg as the close icon in window tabs
2022-05-07 10:13:49 +01:00
Dongdong Zhou eeeca9ebd1
Merge pull request #473 from bugadani/info
Display problem type icon in front of counter
2022-05-07 10:13:27 +01:00
Dániel Buga 7b06600ce4 Clean up mode selection 2022-05-07 10:24:58 +02:00
Dániel Buga 685dd8f670 Display icons for problem counters 2022-05-07 10:23:34 +02:00
Dongdong Zhou 99b685a708 scroll when drag in the editor 2022-05-06 22:10:08 +01:00
Dongdong Zhou d83534612f line height fix 2022-05-06 20:42:33 +01:00
Dongdong Zhou 2332568350 hover improvement 2022-05-06 17:56:12 +01:00
Dongdong Zhou 14c1fe0f8a hover mouse move improvement 2022-05-06 13:23:55 +01:00
Dongdong Zhou 3af0028aff clean up 2022-05-06 10:39:09 +01:00
Dongdong Zhou 3d334e9e61 more clean up 2022-05-06 10:34:54 +01:00
Dongdong Zhou 3b36bbacd6 remove buffer 2022-05-06 10:26:26 +01:00
Dongdong Zhou 17c6625de5 clean up 2022-05-06 10:12:53 +01:00
Dániel Buga 21ca1698db Use svg as close icon 2022-05-06 08:34:56 +02:00
Dániel Buga 6ad092053f Extract padding 2022-05-06 08:24:49 +02:00
Dongdong Zhou 451aa6a1b9 disable new line in input 2022-05-05 22:04:07 +01:00
Dongdong Zhou 1e63cbc8f1 enter in search box 2022-05-05 21:54:22 +01:00
Dongdong Zhou ec3874a178 bump piet-wgpu 2022-05-05 21:02:58 +01:00
Dongdong Zhou df59631623 bump piet-wgpu 2022-05-05 20:55:04 +01:00
Dongdong Zhou c14e222953 bump piet-wgpu 2022-05-05 20:34:31 +01:00
Dongdong Zhou 66b4d4e4a6 history fix 2022-05-05 20:03:16 +01:00
Dongdong Zhou 41f95f13d9
Merge pull request #469 from bugadani/cmd
Menu improvements
2022-05-05 19:56:38 +01:00
Dongdong Zhou fd819aa1a0
Merge pull request #468 from bugadani/expl
File explorer header UI fixes
2022-05-05 19:55:49 +01:00
Dániel Buga 73efba0eb6 Re-layout menu if position changes 2022-05-05 18:45:56 +02:00
Dániel Buga b047b83504 Translate menu coordinates 2022-05-05 18:44:06 +02:00
Dániel Buga b2626cecaa Clip around the active tab 2022-05-05 18:37:21 +02:00
Dániel Buga bf18a04f34 Paint panel header above content 2022-05-05 18:35:24 +02:00
Dániel Buga fb6ccdaaa5 Don't inflate clip area 2022-05-05 18:33:45 +02:00
Dongdong Zhou e8e4d7f80a bump piet-wgpu 2022-05-04 21:12:59 +01:00
Dongdong Zhou 8ba94b419a hover mouse point 2022-05-04 19:43:01 +01:00
Dongdong Zhou 2f0d3f7fa9 reload diff 2022-05-04 19:28:36 +01:00
Dongdong Zhou 13929bafb6 diff view 2022-05-04 19:17:08 +01:00