0 Câu hỏi: Rất nhiều tab và đệm biểu tượng trong Eclipse 4.11 trên Ubuntu 19.04

câu hỏi được tạo ra tại Wed, May 8, 2019 12:00 AM

Khi chạy bản cài đặt mới của Eclipse gần đây trên bản cài đặt mới của Ubuntu gần đây, bạn sẽ thấy điều này:

 (ảnh chụp màn hình theo sau)

Để tham khảo, chế độ xem nhỏ gọn hơn nhiều này là những gì tôi đã sử dụng để xem trên máy Windows:

 nhập mô tả hình ảnh tại đây

Có một số câu hỏi và câu trả lời liên quan cho các phiên bản Eclipse cũ hơn, thuộc hai loại:

  1. "Áp dụng bản sửa lỗi thiết kế ở cấp GTK2. Nếu Eclipse của bạn sử dụng GTK3, hãy buộc nó sử dụng GTK2 thay thế."

  2. "Áp dụng bản sửa lỗi thiết kế với CSS."

Bây giờ, theo kinh nghiệm của tôi với Eclipse 4.11 hay còn gọi là "2019-03" ...

  1. Tôi không thể ép buộc sử dụng GTK2 nữa ❶ . Với ./eclipse --launcher.GTK_version 2 tôi nhận được:
  

Trình khởi chạy Eclipse (...) không còn hỗ trợ chạy với GTK + 2.x. Tiếp tục sử dụng GTK + 3.x.

  1. CSS hack đến plugins/org.eclipse.ui.themes.../css/e4_default_gtk.css không có hiệu lực. Tôi đã cố chỉnh sửa tệp này rất nhiều nhưng dường như không bao giờ làm gì cả.

Vì vậy, câu hỏi của tôi là tôi phải làm gì để loại bỏ những chất thải không gian này? Và nói chung, cách được chỉ định để điều chỉnh các tham số thiết kế với các phiên bản mới của Eclipse là gì? Cũng có từ một plugin trình soạn thảo CSS cho chính Eclipse, nhưng dường như nó bị bỏ rơi.

Tôi sẽ thu thập các liên kết đến các câu hỏi khác liên quan đến các vấn đề GUI của Eclipse có liên quan:

❶ Theo này luồng , hỗ trợ GTK2 đã bị hủy với Eclipse 4.10 hay còn gọi là "2018-12".

    
0
  1. Tôi không hiểu câu hỏi, bạn có thể thay đổi kích thước panes và Eclipse sẽ ghi nhớ điều đó. OTH, bạn cần những gì hack cụ thể?
    2019-05-08 23: 59: 31Z
  2. @ LuisMuñoz Tôi không nói về panes, tôi muốn giảm không gian sử dụng của các tab của Eclipse. Bạn biết đấy, các tab, như trong trình duyệt web, cf wikipedia . Các tay cầm mà bạn chọn một trong nhiều ô hoặc cửa sổ phụ.
    2019-05-09 08: 05: 26Z
  3. Chỉ cần chụp trong bóng tối, so sánh màn hình dpi cho cả hai hệ điều hành.
    2019-05-09 16: 00: 16Z
0 Câu trả lời                              0                         
nguồn đặt đây